Unification Procedure for Terms with Sequence Variables and Sequence Functions.

Kutsia, T. (Vortragende*r)

Institut für Symbolisches Rechnen

Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt

Zeitraum	05 Juli 2004
Ereignistitel	18th International Workshop on Unification, UNIF 2004.
Veranstaltungstyp	Konferenz
Ort	IrlandAuf Karte anzeigen

Wissenschaftszweige

101002 Analysis
101013 Mathematische Logik
101001 Algebra
101012 Kombinatorik
101020 Technische Mathematik
102 Informatik
101 Mathematik
102011 Formale Sprachen
101005 Computeralgebra
101025 Zahlentheorie
101003 Angewandte Geometrie
102025 Verteilte Systeme

JKU-Schwerpunkte

Computation in Informatics and Mathematics