Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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	Type
1	Basin, Constable
		1993		Metalogical Frameworks In: Logical Environments, 1-29	Part of a Book
2	Basin, Friedrich
		1999		Modeling a Hardware Synthesis Methodology in Isabelle In: Formal Methods in Systems Design [15], 99-122	Journal Article
		1996		Modeling a hardware synthesis methodology in Isabelle In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, 33-50	Proceedings Article
2	Basin, Ganzinger
		2001		Automated Complexity Analysis Based on Ordered Resolution In: Journal of the ACM [48], 70-109	Journal Article
		1996		Complexity Analysis Based on Ordered Resolution In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), 456-465	Proceedings Article
1	Basin, Giunchiglia, Kaufmann (ed.)
		1994		Proceedings of the Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems	Report
1	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	Proceedings Article
1	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	Proceedings Article
1	Basin, Kaufmann
		1991		The Boyer-Moore Prover and Nuprl: An Experimental Comparison In: Logical Frameworks, 90-119	Proceedings Article
2	Basin, Klarlund
		1998		Automata Based Symbolic Reasoning in Hardware Verification In: Formal Methods in Systems Design [13], 255-288	Journal Article
		1995		Hardware Verification using Monadic Second-Order Logic In: Proceedings of the 7th International Conference on Computer-Aided Verification (CAV '95), 31-41	Proceedings Article
1	Basin, Krieg-Brückner
		1999		Formalization of the Development Process In: Algebraic foundations of systems specification, 521-562	Part of a Book
4	Basin, Matthews
		2002		Logical Frameworks In: Handbook of Philosophical Logic, 89-164	Part of a Book
		1996		Adding Metatheoretic facilities to First-order Theories In: Journal of Logic and Computation [6], 835-849	Journal Article
		1996		Structuring metatheory on inductive definitions In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 171-185	Proceedings Article
		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	Proceedings Article
8	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	Proceedings Article
		1998		Labelled Modal Logics: quantifiers In: Journal of Logic, Language and Information [7], 237-263	Journal Article
		1998		Natural Deduction for Non-Classical Logics In: Studia Logica [60], 119-160	Journal Article

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