Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Fernau, Henning; Holzer, Markus

External Contextual and Conditional Languages.

Recent Topics in Mathematical and Computational Linguistics. 2000 S. 104 - 120


Alber, Jochen; L. Bodlaender, Hans; Fernau, Henning et al.

Fixed Parameter Algorithms for PLANAR DOMINATING SET and Related Problems.

SWAT. 2000 S. 97 - 110


Czap, H.; Reiter, J.

Goal Representation and Scheduling in Hospitals by Intelligent Agents

Proceedings of the Fourth International Conference on Autonomous Agents. Bd. Proceedings of the Fourth International Conference on Autonomous Agents. Barcelona. 2000


Fernau, Henning

Identification of Function Distinguishable Languages.

ALT. 2000 S. 116 - 130


Seidl, Helmut; Fecht, Christian

Interprocedural analyses: a comparison

The journal of logic programming. Bd. 43. H. 2. New York, NY: North-Holland 2000 S. 123 - 156


Fernau, Henning

k-gram Extensions of Terminal Distinguishable Languages.

ICPR. 2000 S. 2125 - 2128


Mundhenk, M.; Meinel, C.

Mathematische Grundlagen der Informatik

Stuttgart, Leipzig: B.G.Teubner 2000



Arvind, Vikraman; Köbler, Johannes; Mundhenk, Martin et al.

Nondeterministic Instance Complexity and Hard-to-Prove Tautologies

Lecture notes in computer science. Bd. 1770. Berlin: Springer 2000 S. 314 - 323


Mundhenk, M.

On hard instances

Theoretical Computer Science. Bd. Theoretical Computer Science. Elsevier 2000 S. 301 - 311