Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

	Year		Title	BibTeX cite key
Basin, Constable
	1993		Metalogical Frameworks In: Logical Environments, 1-29	Basin93a
Basin, Friedrich
	1999		Modeling a Hardware Synthesis Methodology in Isabelle In: Formal Methods in Systems Design [15], 99-122	BasinFriedrichVeritas
	1996		Modeling a hardware synthesis methodology in Isabelle In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, 33-50	BasinFriedrich96
Basin, Ganzinger
	2001		Automated Complexity Analysis Based on Ordered Resolution In: Journal of the ACM [48], 70-109	BasinGanzinger-01-jacm
	1996		Complexity Analysis Based on Ordered Resolution In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), 456-465	BasinGanzinger96a
Basin, Giunchiglia, Kaufmann (ed.)
	1994		Proceedings of the Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems	BasinMeta
Basin, Giunchiglia, Traverso
	1991		Automating Meta-Theory Creation and System Extension In: Proc. Trends in AI: 2nd Congress of the Italian Association for Artificial Intelligence (AI*IA), 48-57	Basin91b
Basin, Howe
	1991		Some Normalization Properties of Martin-Löf's Type Theory, and Applications In: International Conference on Theoretical Aspects of Computer Software (TACS '91), 475-494	Basin91a
Basin, Kaufmann
	1991		The Boyer-Moore Prover and Nuprl: An Experimental Comparison In: Logical Frameworks, 90-119	Basin90b
Basin, Klarlund
	1998		Automata Based Symbolic Reasoning in Hardware Verification In: Formal Methods in Systems Design [13], 255-288	BasinKlarlund98
	1995		Hardware Verification using Monadic Second-Order Logic In: Proceedings of the 7th International Conference on Computer-Aided Verification (CAV '95), 31-41	BasinKlarlund95
Basin, Krieg-Brückner
	1999		Formalization of the Development Process In: Algebraic foundations of systems specification, 521-562	mod-modal
Basin, Matthews
	2002		Logical Frameworks In: Handbook of Philosophical Logic, 89-164	BasinMatthewsHPL
	1996		Adding Metatheoretic facilities to First-order Theories In: Journal of Logic and Computation [6], 835-849	BasinMatthews96a
	1996		Structuring metatheory on inductive definitions In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 171-185	BasinMatthews96b
	1993		A Conservative Extension of First-Order Logic and its Applications to Theorem Proving In: Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'93), 151-160	BasinMatthews93d
Basin, Matthews, Viganò
	1998		A Modular Presentation of Modal Logics in a Logical Framework In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, 293-307	Basin98a
	1998		Labelled Modal Logics: quantifiers In: Journal of Logic, Language and Information [7], 237-263	Basin97b
	1998		Natural Deduction for Non-Classical Logics In: Studia Logica [60], 119-160	Basin97c

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)