×

Found 21 Documents (Results 1–21)

Collected works. Vol. 6: Elements of symbolic logic. (Gesammelte Werke. Hrsg. von Andreas Kamlah und Maria Reichenbach. Band 6: Grundzüge der symbolischen Logik. Hrsg. unter Mitarbeit von Stephan H. A. Bayerl und Matthias Varga v. Kibéd. Aus dem Englischen übersetzt von Stephan H. A. Bayerl, Claudia Thomé und Matthias Varga von Kibéd. Mit einem Geleitwort zur deutschen Ausgabe von David Kaplan.) (German) Zbl 0940.03002

Wiesbaden: Vieweg. xxviii, 436 S. (1999).
PDFBibTeX XMLCite

Three-valued propositional dynamic logic. (English) Zbl 0984.03031

Smeureanu, Ion (ed.) et al., Information technology. Proceedings of the 4th international symposium on economic informatics held in Bucharest, Romania, May 6-9, 1999. Bucharest: Editura Inforec. 1006-1010 (1999).
MSC:  03B70 03B45 03B50
PDFBibTeX XMLCite

Formalizing a lazy substitution proof system for \(\mu\)-calculus in the calculus of inductive constructions. (English) Zbl 0939.03024

Wiedermann, Jiří (ed.) et al., Automata, languages and programming. 26th international colloquium, ICALP ‘99. Prague, Czech Republic, July 11-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1644, 554-564 (1999).
MSC:  03B44 03B35 68T15 68Q42
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 3

Main Field

Software