Zum Inhalt springen

Gallier, Jean H. [VerfasserIn]

Discrete mathematics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Universitext
Gallier, Jean H. [VerfasserIn]

Logic for computer science : foundations of automatic theorem proving - [2. print.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York [u.a.]: Wiley, 1988
Gallier, Jean H. [VerfasserIn] ; Isakowitz, Tomas [Sonstige Person, Familie und Körperschaft]

Order-Sorted Rigid E-Unification

Online ansehen
Schließen

Zugang

https://ssrn.com/abstract=1289069

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[S.l.]: SSRN, [2008]

Erschienen in: Information Systems Working Papers Series, Vol. , pp. -, 1991
Gallier, Jean H.

Ann. Pure Appl. Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1997

Erschienen in: Annals of Pure and Applied Logic
H. Gallier, Jean

What's so special about Kruskal's theorem and the ordinal Γo? A survey of some results in proof theory

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1991

Erschienen in: Annals of Pure and Applied Logic
Gallier, Jean H.

Fast algorithms for testing unsatisfiability of ground horn clauses with equations

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1987

Erschienen in: Journal of Symbolic Computation
Gallier, Jean H.

n-Rational Algebras I. Basic Properties and Free Algebras

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Society for Industrial & Applied Mathematics (SIAM), 1984

Erschienen in: SIAM Journal on Computing
Gallier, Jean H.

n-Rational Algebras II. Varieties and Logic of inequalities

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Society for Industrial & Applied Mathematics (SIAM), 1984

Erschienen in: SIAM Journal on Computing
Gallier, Jean H.

Harry R. Lewis and Christos H. Papadimitriou. Elements of the theory of computation. Prentice-Hall software series. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1981, xiv + 466 pp

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 1984

Erschienen in: Journal of Symbolic Logic
Gallier, Jean H.

Review: Elements of the Theory of Computation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Symbolic Logic, Inc., 1984

Erschienen in: The Journal of Symbolic Logic
Gallier, Jean H.

DPDA's in ‘atomic normal form’ and applications to equivalence problems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1981

Erschienen in: Theoretical Computer Science
Gallier, Jean H.

Nondeterministic flowchart programs with recursive procedures: semantics and correctness I

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1981

Erschienen in: Theoretical Computer Science
Gallier, Jean H.

Nondeterministic flowchart programs with recursive procedures: Semantics and correctness II

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1981

Erschienen in: Theoretical Computer Science
Gallier, Jean H.

Recursion-closed algebraic theories

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1981

Erschienen in: Journal of Computer and System Sciences
Gallier, Jean H.

Automata, Languages and Programming: Recursion schemes and generalized interpretations : Extended abstract : Extended abstract

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1979

Erschienen in: Automata, Languages and Programming
Gallier, Jean H.

On the existence of optimal fixpoints

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 1979

Erschienen in: Mathematical Systems Theory
Gallier, Jean H.

Automata, Languages and Programming: Semantics and correctness of nondeterministic flowchart programs with recursive procedures : Preliminary report : Preliminary report

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1978

Erschienen in: Automata, Languages and Programming
Gallier, Jean H.; Snyder, Wayne

Complete sets of transformations for general E-unification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1989

Erschienen in: Theoretical Computer Science
Gallier, Jean H; Raatz, Stan

Extending SLD resolution to equational horn clauses using E-unification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1989

Erschienen in: The Journal of Logic Programming
Pelin, Alex; Gallier, Jean H.

Building exact computation sequences

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1987

Erschienen in: Theoretical Computer Science

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr