Gerd Große

	1996
7		Gerd Große, Christoph S. Herrmann, Enno Sandner: SEdit - Graphically Validating Technical Systems. FAPR 1996: 345-348
6		Gerd Große, Steffen Hölldobler, Josef Schneeberger: Linear Deductive Planning. J. Log. Comput. 6(2): 233-262 (1996)
5		Gerd Große, Hesham Khalil: State Event Logic. Logic Journal of the IGPL 4(1): 47-74 (1996)
	1994
4		Gerd Große: Propositional State Event Logic. JELIA 1994: 316-331
	1993
3		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
2		Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher: Equational Logic Programming Actions, and Change. JICSLP 1992: 177-191
	1991
1		Gerd Große, Richard J. Waldinger: Towards a Theory of Simultaneous Actions. EWSP 1991: 78-87

Coauthor Index

1	Stefan Brüning	[3]
2	Christoph S. Herrmann	[7]
3	Steffen Hölldobler	[2] [3] [6]
4	Hesham Khalil	[5]
5	Enno Sandner	[7]
6	Josef Schneeberger	[2] [3] [6]
7	Ute Cornelia Sigmund	[2] [3]
8	Michael Thielscher	[2] [3]
9	Richard J. Waldinger	[1]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page