Skip to contents

Herold, Alexander [Author]

Combination of unification algorithms in equational theories

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1987
Varšek, Igor [Author]

Unifizierbare zweischichtige Grammatiken

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1984
Marantidis, Pavlos [Author] ; Technische Universität Dresden

Quantitative variants of language equations and their applications to description logics

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden, September 2019
Kirchner, Claude [Editor]

Unification

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London [u.a.]: Academic Pr., 1990
Butterfield, Andrew [Other] ; UTP 2 2008 Dublin

Unifying theories of programming : Second International Symposium, UTP 2008, Dublin, Ireland, September 8 - 10, 2008; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2010

Published in: Lecture notes in computer science ; 5713
Qin, Shengchao [Editor] ; UTP 3 2010 Schanghai

Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6445
Dunne, Steve [Editor]; Stoddart, Bill [Other] ; UTP 1 2006

Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5 - 7, 2006 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4010
Heinz, Birgit [Author]

Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1996

Published in: GMD-Forschungszentrum Informationstechnik: GMD-Bericht ; 261
Burghardt, Jochen [Author]

Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1993

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 212
Snyder, Wayne [Author]

A proof theory for general unification

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston; [Stuttgart] [u.a.]: Birkhäuser, 1991

Published in: Progress in computer science and applied logic ; 11
Schmidt-Schauß, Manfred [Author]

Computational aspects of an order-sorted logic with term declarations

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989

Published in: Lecture notes in computer science ; 395
Schulz, Klaus [Editor] ; IWWERT 1 1990 Tübingen

Word equations and related topics : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Lecture notes in computer science ; 572
Abdulrab, Habib [Editor]; Pécuchet, Jean-Pierre [Editor] ; IWWERT 2 1991 Rouen

Word equations and related topics : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1993

Published in: Lecture notes in computer science ; 677
Marantidis, Pavlos [Author] ; Baader, Franz [Degree supervisor]; Narendran, Paliath [Degree supervisor] Technische Universität Dresden

Quantitative Variants of Language Equations and their Applications to Description Logics

View online
Schließen

Access

More information on the full text

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden, 2019
Vogler, Heiko [Author]; Faßbender, Heinz [Author]

A universal unification algorithm based on unification-driven leftmost outermost narrowing

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009

Published in: Ulmer Informatik-Berichte ; 92,07
Schmidt-Schauß, Manfred [Author]

Computational Aspects of an Order-Sorted Logic with Term Declarations

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

Published in: Lecture notes in computer science ; 395
Kaes, Stefan [Author]

Parametrischer Polymorphismus, Überladungen und Konversionen

View online
Schließen

Access

https://d-nb.info/974357626/34

kostenfrei

http://elib.tu-darmstadt.de/diss/000544

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Vogler, Heiko [Author]; Faßbender, Heinz [Author]

A universal unification algorithm based on unification-driven leftmost outermost narrowing

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Ulm, 2016-03-14T15:19:55Z
Wolff, Burkhart [Author] ; Gaudel, Marie-Claude [Other]; Feliachi, Abderrahmane [Other]

Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 7681
Dunne, Steve [Other]; Stoddart, Bill [Other]

Unifying Theories of Programming : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 4010

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication