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	Abdelwaheb, Basin, Podelski
		1998		LISA: A Specification Language Based on WS2S In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34	Proceedings Article
1	Afshordel, Hillenbrand, Weidenbach
		2001		First-Order Atom Definitions Extended In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319	Proceedings Article
1	Ahrendt, Baumgartner, de Nivelle (ed.)
		2006		IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability	Electronic Proceedings
1	Althaus
		1998		Berechnung optimaler Steinerbäume in der Ebene Universität des Saarlandes	Thesis - Masters thesis
2	Anderson, Basin
		2000		Program Development Schemata as Derived Rules In: Journal of Symbolic Computation [30], 5-36	Journal Article
		1995		Deriving and Applying Logic Program Transformers In: Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), 301-318	Proceedings Article
1	Antoy, Echahed, Hanus
		1994		A Needed Narrowing Strategy In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), 268-279	Proceedings Article
1	Areces, de Rijke, de Nivelle
		2001		Resolution in modal, description and hybrid logic In: Journal of Logic and Computation [11], 717-736	Journal Article
1	Argon, Delzanno, Mukhopadhyay, Podelski
		2001		Model Checking for Communication Protocols In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), 160-170	Proceedings Article
1	Autexier
		1996		Heuristiken zum Beweisen von Gleichungen Universität des Saarlandes	Thesis - Masters thesis
1	Avenhaus, Hillenbrand, Löchner
		2003		On Using Ground Joinable Equations in Equational Theorem Proving In: Journal of Symbolic Computation [36], 217-233	Journal Article
1	Ayari
		1995		A Reinterpretation of the Deductive Tableaux System in Higher-Order Logic Universität des Saarlandes	Thesis - Masters thesis
3	Ayari, Basin
		2001		A Higher-order Interpretation of Deductive Tableau In: Journal of Symbolic Computation [31], 487-520	Journal Article
		1996		Generic System Support for Deductive Program Development In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, 313-328	Proceedings Article
		1995		Interpretation of the Deductive Tableau in HOL In: Proceedings of the First Isabelle Users Workshop, 91-100	Proceedings Article
1	Baader, Ohlbach
		1995		A Multi-Dimensional Terminological Knowledge Representation Language In: Journal of Applied Non-Classical Logics [5], 153-198	Journal Article
1	Bach

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