×

Found 120 Documents (Results 1–100)

100
MathJax

Church-Rosser properties of normal rewriting. (English) Zbl 1252.68159

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 350-365, electronic only (2012).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

Adhesivity is not enough: local Church-Rosser revisited. (English) Zbl 1343.68126

Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 48-59 (2011).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

Simplified reducibility proofs of Church-Rosser for \({\beta}\)- and \({\beta}{\eta}\)-reduction. (English) Zbl 1311.03030

Horizonte, Belo (ed.) et al., Proceedings of the 3rd workshop on logical and semantic frameworks, with applications (LSFA 2008), Salvador, Brazil, August 26, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 247, 85-101 (2009).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

Generalized finite developments. (English) Zbl 1195.68028

Bertot, Yves (ed.) et al., From semantics to computer science. Essays in honour of Gilles Kahn. Cambridge: Cambridge University Press (ISBN 978-0-521-51825-3/hbk). 185-203 (2009).
MSC:  68N18 03B40
PDF BibTeX XML Cite

A note on rewriting proofs and Fibonacci numbers. (English) Zbl 1133.05006

Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 284-292 (2007).
MSC:  05A17 05A20 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus. (English) Zbl 1193.03032

David, René (ed.) et al., Computational logic and applications, CLA ’05. Proceedings of the 3rd workshop, Chambéry, France, June 20–21, 2005. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings AF, 97-108, electronic only (2006).
MSC:  03B40 03B05 68N18
PDF BibTeX XML Cite
Full Text: arXiv Link

Completion attacks and weak keys of Oleshchuk’s public key cryptosystem. (English) Zbl 1153.94431

Maitra, Subhamoy (ed.) et al., Progress in cryptology – INDOCRYPT 2005. 6th international conference on cryptology in India, Bangalore, India, December 10–12, 2005, Proceedings. Berlin: Springer (ISBN 978-3-540-30805-8/pbk). Lecture Notes in Computer Science 3797, 209-220 (2005).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Bijections between partitions by two-directional rewriting techniques. (English) Zbl 1020.68042

Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 44-58 (2002).
MSC:  68Q42 05A18 05A19
PDF BibTeX XML Cite
Full Text: Link

Church-Rosser property for conditional rewriting systems with built-in predicates as premises. (English) Zbl 1004.68079

Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 17-37 (2000).
MSC:  68Q42
PDF BibTeX XML Cite

Church-Rosser \(\lambda\)-theories, infinite \(\lambda\)-terms and consistency problems. (English) Zbl 0867.03004

Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 33-58 (1996).
MSC:  03B40
PDF BibTeX XML Cite

Defining \(\lambda\)-typed \(\lambda\)-calculi by axiomatizing the typing relation. (English) Zbl 0797.68144

Enjalbert, Patrice (ed.) et al., STACS 93. 10th annual symposium on theoretical aspects of computer science, Würzburg, Germany, February 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 665, 712-723 (1993).
MSC:  68T15 03B40 68Q45
PDF BibTeX XML Cite

Prinzipien der künstlichen Intelligenz. Wissensrepräsentation, Inferenz und Expertensysteme. (Principles of artificial intelligence. Knowledge representation, inference and expert systems.). (German) Zbl 0727.68119

Leitfäden und Monographien der Informatik. Stuttgart: B. G. Teubner Verlag. 355 p. DM 46.00 (1989).
MSC:  68T30 68-01 68T35
PDF BibTeX XML Cite

Church-Rosser systems with respect to formal languages. (English. Russian original) Zbl 0651.68101

Cybernetics 23, No. 5, 590-599 (1987); translation from Kibernetika 1987, No. 5, 19-25 (1987).
Reviewer: J.Hromkovič
PDF BibTeX XML Cite
Full Text: DOI

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