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
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	LisaCSL
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	AfshordelHillenbrandWeidenbach01
Ahrendt, Baumgartner, de Nivelle (ed.)
	2006		IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability	deNivelle2006a
Althaus
	1998		Berechnung optimaler Steinerbäume in der Ebene Universität des Saarlandes	Althaus-Diplom98
Anderson, Basin
	2000		Program Development Schemata as Derived Rules In: Journal of Symbolic Computation [30], 5-36	BasinAnderson00
	1995		Deriving and Applying Logic Program Transformers In: Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), 301-318	Anderson&Basin
Antoy, Echahed, Hanus
	1994		A Needed Narrowing Strategy In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), 268-279	AntoyEchahedHanus94a
Areces, de Rijke, de Nivelle
	2001		Resolution in modal, description and hybrid logic In: Journal of Logic and Computation [11], 717-736	ArecesRijkeNivelle02
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	ArgonEtAlSofSem2001
Autexier
	1996		Heuristiken zum Beweisen von Gleichungen Universität des Saarlandes	AutexierDipl96
Avenhaus, Hillenbrand, Löchner
	2003		On Using Ground Joinable Equations in Equational Theorem Proving In: Journal of Symbolic Computation [36], 217-233	AvenhausHillenbrandLoechner2003
Ayari
	1995		A Reinterpretation of the Deductive Tableaux System in Higher-Order Logic Universität des Saarlandes	Abdu95
Ayari, Basin
	2001		A Higher-order Interpretation of Deductive Tableau In: Journal of Symbolic Computation [31], 487-520	AyariBasin2001
	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	AbduBasin-TACAS96
	1995		Interpretation of the Deductive Tableau in HOL In: Proceedings of the First Isabelle Users Workshop, 91-100	BasinAbdu95
Baader, Ohlbach
	1995		A Multi-Dimensional Terminological Knowledge Representation Language In: Journal of Applied Non-Classical Logics [5], 153-198	BaaderOhlbach95
Bach

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