×

Found 63 Documents (Results 1–63)

100
MathJax

Port graphs, rules and strategies for dynamic data analytics – extended abstract (invited talk). (English) Zbl 1366.68221

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 1-4 (2015).
MSC:  68R10 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. (English) Zbl 1360.68353

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 205-217 (2015).
MSC:  68N20 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

Polarized resolution modulo. (English) Zbl 1202.68215

Calude, Christian S. (ed.) et al., Theoretical computer science. 6th IFIP WG 2.2 international conference, TCS 2010, held as a Part of the World Computer Congress (WCC 2010), Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15239-9/hbk; 978-3-642-15240-5/ebook). IFIP Advances in Information and Communication Technology 323, 182-196 (2010).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

Proof search and proof check for equational and inductive theorems. (English) Zbl 1278.68257

Baader, Franz (ed.), Automated deduction – CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40559-3/pbk). Lect. Notes Comput. Sci. 2741, 297-316 (2003).
MSC:  68T15 03B35
PDF BibTeX XML Cite
Full Text: DOI

ELAN. (English) Zbl 0942.68589

Fages, François (ed.), JFPLC’99. 8ème journées francophones de programmation logique et programmation par contraintes, Lyon, France, Juin 2-4, 1999. Paris: Hermes Science Publications. 241-248 (1999).
MSC:  68Q42
PDF BibTeX XML Cite

A tile-based coordination view of asynchronous \(\pi\)-calculus. (English) Zbl 0941.68089

Privara, L. (ed.) et al., Mathematical foundations of computer science 1997. 22nd international symposium, MFCS ’97, Bratislava, Slovakia, August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1295, 52-70 (1997).
MSC:  68Q85
PDF BibTeX XML Cite

On the join of the variety of all bands and the variety of all commutative semigroups via conditional rewrite rules. (English) Zbl 0900.20116

Ito, Masami (ed.), Words, languages and combinatorics, Kyoto, Japan, August 28–31, 1990. Singapore: World Scientific. 365-372 (1992).
MSC:  20M07 08B15
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software