Ulrich Hedtstück

	2007
15		Ulrich Hedtstück: Einführung in die theoretische Informatik - formale Sprachen und Automatentheorie (4. Aufl.). Oldenbourg 2007: I-IX, 1-178
	2000
14		Ulrich Hedtstück: Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie Oldenbourg 2000
	1992
13		Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191 (1992)
	1990
12		Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems IWBS Report 113: (1990)
11		Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke: Bericht über das 6. Jahrestreffen der GI-Fachgruppe ``Deduktionssysteme''. KI 4(2): 21-23 (1990)
	1989
10		Karl-Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings Springer 1989
9		Toni Bollinger, Ulrich Hedtstück, Claus-Rainer Rollinger: Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype. GWAI 1989: 203-212
8		Toni Bollinger, Karl-Hans Bläsius, Ulrich Hedtstück: Knowledge Processing in the LILOG Project: From the first to the second Prototype. Natural Language and Logic 1989: 26-49
7		Ulrich Hedtstück, Peter H. Schmitt: A Calculus for Order-Sorted Predicate Logic with Sort Literals. Sorts and Types in Artificial Intelligence 1989: 61-72
6		Toni Bollinger, Ulrich Hedtstück, Claus-Rainer Rollinger: Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype IWBS Report 72: (1989)
5		Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann: An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information IWBS Report 86: (1989)
4		Ulrich Hedtstück, Peter H. Schmitt: A Calculus for Order-Sorted Predicate Logic with Sort Literals IWBS Report 95: (1989)
	1988
3		Karl-Hans Bläsius, Ulrich Hedtstück: Resolution with Feature Unification LILOG-Report 51: (1988)
	1987
2		Karl-Hans Bläsius, Ulrich Hedtstück: Resolution with Feature Unification. CSL 1987: 17-26
	1983
1		Ulrich Hedtstück: On the argument complexity of multiply transitive Boolean functions. Logic and Machines 1983: 390-396

Coauthor Index

1	Christoph Beierle	[5] [12] [13]
2	Karl-Hans Bläsius	[2] [3] [8] [10]
3	Toni Bollinger	[6] [8] [9]
4	Ulrich Furbach	[11]
5	Udo Pletat	[5] [12] [13]
6	Claus-Rainer Rollinger	[6] [9] [10]
7	Peter H. Schmitt	[4] [7] [12] [13]
8	Jörg H. Siekmann	[5] [12] [13]
9	Wolfgang Wernecke	[11]

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