Gerd Große

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1996
j2		Gerd Große, Hesham Khalil: State Event Logic. Logic Journal of the IGPL 4(1): 47-74 (1996)
j1		Gerd Große, Steffen Hölldobler, Josef Schneeberger: Linear Deductive Planning. J. Log. Comput. 6(2): 233-262 (1996)
c5		Gerd Große, Christoph S. Herrmann, Enno Sandner: SEdit - Graphically Validating Technical Systems. FAPR 1996: 345-348
	1994
c4		Gerd Große: Propositional State Event Logic. JELIA 1994: 316-331
	1993
c3		Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher: Disjunction in Plan Generation by Equational Logic Programming. PuK 1993: 18-26
	1992
c2		Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher: Equational Logic Programming Actions, and Change. JICSLP 1992: 177-191
	1991
c1		Gerd Große, Richard J. Waldinger: Towards a Theory of Simultaneous Actions. EWSP 1991: 78-87

Coauthor Index

Last update Wed May 22 12:38:52 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page