Skip to contents Hintermeier, Claus [Other] Lopster: Sprachdefinition : Version 1.1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: Univ., Fak. für Informatik, [1991] Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 91,18 Hintermeier, Claus [Author]; Brzoska, Christoph [Author]; Biere, Armin [Author]; Varsek, Igor [Author]; Weinstein, Thomas [Author]; Werner, Andreas [Author] Lopster: Sprachdefinition Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/58891 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Hintermeier, Claus Conditional and Typed Rewriting Systems: How to transform canonical decreasing CTRSs into equivalent canonical TRSs Articles 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. Springer Berlin Heidelberg, 1995 Published in: Conditional and Typed Rewriting Systems Hintermeier, Claus; Kirchner, Hélène; Mosses, Peter D. Higher-Order Algebra, Logic, and Term Rewriting: R n - and G n -logics Articles 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. Springer Berlin Heidelberg, 1996 Published in: Higher-Order Algebra, Logic, and Term Rewriting Hintermeier, Claus; Kirchner, Hélène; Mosses, Peter D. Recent Trends in Data Type Specification: Combining algebraic and set-theoretic specifications Articles 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. Springer Berlin Heidelberg, 1996 Published in: Recent Trends in Data Type Specification Hintermeier, Claus; Kirchner, Claude; Kirchner, Hélène Recent Trends in Data Type Specification: Sort inheritance for order-sorted equational presentations Articles 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. Springer Berlin Heidelberg, 1995 Published in: Recent Trends in Data Type Specification Hintermeier, Claus; Kirchner, Claude; Kirchner, Hélène Automata, Languages and Programming: Dynamically-typed computations for order-sorted equational presentations : Extended abstract : Extended abstract Articles 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. Springer Berlin Heidelberg, 1994 Published in: Automata, Languages and Programming
Hintermeier, Claus [Other] Lopster: Sprachdefinition : Version 1.1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: Univ., Fak. für Informatik, [1991] Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 91,18
Hintermeier, Claus [Author]; Brzoska, Christoph [Author]; Biere, Armin [Author]; Varsek, Igor [Author]; Weinstein, Thomas [Author]; Werner, Andreas [Author] Lopster: Sprachdefinition Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/58891 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Hintermeier, Claus Conditional and Typed Rewriting Systems: How to transform canonical decreasing CTRSs into equivalent canonical TRSs Articles 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. Springer Berlin Heidelberg, 1995 Published in: Conditional and Typed Rewriting Systems
Hintermeier, Claus; Kirchner, Hélène; Mosses, Peter D. Higher-Order Algebra, Logic, and Term Rewriting: R n - and G n -logics Articles 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. Springer Berlin Heidelberg, 1996 Published in: Higher-Order Algebra, Logic, and Term Rewriting
Hintermeier, Claus; Kirchner, Hélène; Mosses, Peter D. Recent Trends in Data Type Specification: Combining algebraic and set-theoretic specifications Articles 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. Springer Berlin Heidelberg, 1996 Published in: Recent Trends in Data Type Specification
Hintermeier, Claus; Kirchner, Claude; Kirchner, Hélène Recent Trends in Data Type Specification: Sort inheritance for order-sorted equational presentations Articles 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. Springer Berlin Heidelberg, 1995 Published in: Recent Trends in Data Type Specification
Hintermeier, Claus; Kirchner, Claude; Kirchner, Hélène Automata, Languages and Programming: Dynamically-typed computations for order-sorted equational presentations : Extended abstract : Extended abstract Articles 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. Springer Berlin Heidelberg, 1994 Published in: Automata, Languages and Programming
> Media type Skip to next facet Articles (5) Wert ausschließen Books (2) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Language Skip to next facet Not determined (5) Wert ausschließen German (2) Wert ausschließen Show more show less
> Creator Skip to next facet Hintermeier, Claus (7) Wert ausschließen Kirchner, Hélène (4) Wert ausschließen Kirchner, Claude (2) Wert ausschließen Mosses, Peter D. (2) Wert ausschließen Biere, Armin (1) Wert ausschließen Brzoska, Christoph (1) Wert ausschließen Varsek, Igor (1) Wert ausschließen Weinstein, Thomas (1) Wert ausschließen Werner, Andreas (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (5) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (1) Wert ausschließen Verbunddaten SWB (1) Wert ausschließen Show more show less