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
Baader, Ohlbach
Bach
Bachmair, Ganzinger
Bachmair, Ganzinger, Lynch, Snyder
Bachmair, Ganzinger, Stuber
Bachmair, Ganzinger, Voronkov
Bachmair, Ganzinger, Waldmann
Backes
Backes, Wetzel
Ball, Podelski, Rajamani
Barnett, Basin, Hesketh
Barth
Barth, Bockmayr
Barth, Kleine Büning, Weidenbach
Basin
	1995		Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung Universität des Saarlandes	BasinHabil1995
	1994		A Term Equality Problem Equivalent to Graph Isomorphism In: Information Processing Letters [51], 61-66	Basin94c
	1994		Generalized Rewriting in Type Theory In: Journal of Information Processing and Cybernetics [30], 249-259	BasinTTRewrite
	1994		IsaWhelk: Whelk Interpreted in Isabelle In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 741-741	Basin93d
	1994		Logic Frameworks for Logic Programs In: Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94), 1-16	BasinLOPSTR94
Basin, Brown, Leeser
Basin, Bundy, Kraan, Matthews
Basin, Constable
Basin, Friedrich
Basin, Ganzinger
Basin, Giunchiglia, Kaufmann (ed.)
Basin, Giunchiglia, Traverso
Basin, Howe
Basin, Kaufmann
Basin, Klarlund

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