Term Rewriting Systems

Inbunden, Engelska, 2003

Av Terese, Jan Willem Klop, Roel de Vrijer

3 629 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research, it features numerous exercises with selected solutions on the web, an extensive bibliography and a chapter on applications.

Produktinformation

Mer från samma serie

Programs, Recursion and Unbounded Choice

Programs, Recursion and Unbounded Choice

Wim H. Hesselink, Hesselink Wim H., C. J. van Rijsbergen

809 kr

Nets, Terms and Formulas

Nets, Terms and Formulas

Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

809 kr

Two-Level Functional Languages

Two-Level Functional Languages

Denmark) Nielson, Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet, Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen

899 kr

Extensions of First-Order Logic

Extensions of First-Order Logic

Maria (Universitat de Barcelona) Manzano, Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 209 kr

Free Choice Petri Nets

Free Choice Petri Nets

Jorg (Humboldt-Universitat zu Berlin) Desel, Javier (University of Edinburgh) Esparza, Jorg Desel, Javier Esparza, C. J. van Rijsbergen

719 kr

The Logic of Typed Feature Structures

The Logic of Typed Feature Structures

Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

809 kr

Deductive and Declarative Programming

Deductive and Declarative Programming

Peter Padawitz, P. Padawitz, C. J. van Rijsbergen

809 kr

The Uncertain Reasoner's Companion

The Uncertain Reasoner's Companion

J. B. (University of Manchester) Paris, J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

849 kr

Understanding Z

Understanding Z

J. M. (University of Oxford) Spivey, J. M. Spivey, Spivey J. M.

629 kr

Basic Simple Type Theory

Basic Simple Type Theory

Swansea) Hindley, J. Roger (University of Wales, J. Roger Hindley

659 kr

Du kanske också är intresserad av

Processes, Terms and Cycles: Steps on the Road to Infinity

Processes, Terms and Cycles: Steps on the Road to Infinity

Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer, Vincent Van Oostrom

1 409 kr

Why We Sing: Music, Word, and Liturgy in Early Christianity
Del 177

Why We Sing: Music, Word, and Liturgy in Early Christianity

Carl Berglund

3 629 kr

Distribution and Growth after Keynes

Distribution and Growth after Keynes

Eckhard Hein

3 629 kr

Fundamentals of Electrospinning & Electrospun Nanofibers

Fundamentals of Electrospinning & Electrospun Nanofibers

Tong Lin, Jian Fang

3 629 kr

Citizenship in the Local Community

Citizenship in the Local Community

Gerry Neumark

3 629 kr

Fifth International Congress of Chinese Mathematicians

Fifth International Congress of Chinese Mathematicians

Lizhen Ji, Yat Sun Poon, Lo Yang, Shing-Tung Yau

3 629 kr

Wastewater Treatment Systems

Wastewater Treatment Systems

Gustaf Olsson, B. Newell

3 629 kr

Intelligent Engineering Systems Through Artificial Neural Networks, Volume 14: Smart Engineering System Design: Neural Networks, Fuzzy Logic, Evolutio

Intelligent Engineering Systems Through Artificial Neural Networks, Volume 14: Smart Engineering System Design: Neural Networks, Fuzzy Logic, Evolutio

Cihan H. Dagli, Anna L. Buczak, Cihan H Dagli, Anna L Buczak, David L Enke, Mark Embrechts, Okan Ersoy

3 629 kr

Bone and Soft Tissue Tumors

Bone and Soft Tissue Tumors

Therese J Bocklage, Robert Quinn, Berndt Schmit, Claire Verschraegen

3 629 kr

Handbook of Research on Cluster Theory
Del 1

Handbook of Research on Cluster Theory

Charlie Karlsson

3 629 kr

Tillhör följande kategorier