A Proof Theory for General Unification

Main
Mathematics
A Proof Theory for General Unification

A Proof Theory for General Unification

W. Snyder

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Anno:

1991

Edizione:

1

Casa editrice:

Birkhäuser Boston

Lingua:

english

Pagine:

188

ISBN 10:

0817635939

ISBN 13:

9780817635930

Collana:

Progress in Computer Science and Applied Logic 11

File:

PDF, 2.69 MB

IPFS:

,

english, 1991

Il download di questo libro non è disponibile a causa di un reclamo da parte del detentore del copyright

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Puoi essere interessati a

Franz Baader, Tobias Nipkow — Term Rewriting and All That

Deepak Kapur (auth.), Harald Ganzinger (eds.) — Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Hassan Aït-Kaci, Maurice Nivat — Resolution of Equations in Algebraic Structures, Volume 2: Rewriting Techniques

Stanley N. Burris — Logic for Mathematics and Computer Science

Robinson A., Voronkov A. (eds.) — Handbook of automated reasoning Vol. 1 [...]

Christoph Walther — A Many-Sorted Calculus Based on Resolution and Paramodulation

D. A. Wolfram — The Clausal Theory of Types

Franz Baader, Tobias Nipkow — Term rewriting and all that

Bibel W., Schmitt P.H. (eds.) — Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods

Jan Grabowski (editor); Pierre Lescanne (editor); Wolfgang Wechler (editor) — Algebraic and Logic Programming: Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988

Yoshihito Toyama (auth.), Jürgen Giesl (eds.) — Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

Hubert Comon Claude Marché Ralf Treinen (eds.) — Constraints in Computational Logics. Theory and Applications CCL ’99

Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.) — 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

Francois Bronsard, Uday S. Reddy (auth.), S. Kaplan, M. Okada (eds.) — Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings

Karl Meinke (auth.), Michaël Rusinowitch, Jean-Luc Rémy (eds.) — Conditional Term Rewriting Systems: Third International Workshop, CTRS-92 Point-à -Mousson, France, July 8–10 1992 Proceedings

Claude Kirchner (eds.) — Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

John Slaney (auth.), Alan Bundy (eds.) — Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Wayne Snyder (auth.), Jean-Pierre Jouannaud (eds.) — Constraints in Computational Logics: First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Yuri Matiyasevich (auth.), Jieh Hsiang (eds.) — Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

Deepak Kapur (auth.), Harald Ganzinger (eds.) — Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

William McCune (auth.), Hubert Comon (eds.) — Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.) — Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

José Meseguer (auth.), Leo Bachmair (eds.) — Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Franz Baader — LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

Jörg H. Siekmann (auth.), R. E. Shostak (eds.) — 7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings

Termini più frequenti