Publikationsdetails

Zitat:	Mircea Marin, Teimuraz Kutsia, "Matching with Regular Constraints" , in G. Sutcliffe and A. Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference LPAR'05, Serie Lecture Notes in Artificial Intelligence (LNAI), Vol. 3835, Springer Verlag, Seite(n) 215-229, 2005, ISBN: 3-540-30553-X
Original Titel:	Matching with Regular Constraints
Sprache des Titels:	Englisch
Original Buchtitel:	Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference LPAR'05
Veröffentlicher:	Springer Verlag
Serie:	Lecture Notes in Artificial Intelligence (LNAI)
Volume:	3835
Seitenreferenz:	215-229
Erscheinungsjahr:	2005
ISBN:	3-540-30553-X
Anzahl der Seiten:	15
URL zu weiteren Infos:	http://www.lpar.net/2005/
Publikationstyp:	Aufsatz / Paper in Tagungsband (referiert)
Autoren:	Mircea Marin, Teimuraz Kutsia
Forschungseinheiten:	Institut für Symbolisches Rechnen

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum