*Search Results* - Modular termination proofs of recursive java bytecode programs by term rewriting

sublabel_Solr

1
2
*Next*
[2]

Modular termination proofs of recursive java bytecode programs by term rewriting

Brockschmidt, Marc (Verfasser)

Aachen : RWTH Aachen, 2011

*eBook*

Size-change termiantion for term rewriting

Thiemann, René

Aachen : RWTH, 2003

*eBook*

Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Comon-Lundh, Hubert (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions

Bertot, Yves

Berlin [u.a.] : Springer, 2004

*book*

Handbook of graph grammars and computing by graph transformation
2. Applications, languages and tools / ed. by H. Ehrig ...

Ehrig, Hartmut (Hrsg.)

Singapore [u.a.] : World Scientific, 1999

*book*

Algebraic and logic programming : proceedings

Grabowski, Jan (Herausgeber)

Berlin : Springer, 1988

*book*

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

Groote, Jan Friso (Herausgeber)

1st ed. 2021

Cham : Springer International Publishing, 2021

*eBook*

Principles of automated theorem proving

Duffy, David A.

Chichester [u.a.] : Wiley, 1991

*book*

Frontiers of Combining Systems : 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings

Konev, Boris (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

SOFSEM 2008: Theory and Practice of Computer Science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings

Geffert, Villiam (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

*eBook*

Introduction to programming with Fortran : with coverage of Fortran 90, 95, 2003, and 77

Chivers, Ian D. (Verfasser)

London : Springer, 2006

*book*

Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings

De Nicola, Rocco (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

Compiling natural semantics

Pettersson, Mikael

Berlin [u.a.] : Springer, 1999

*book*

Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Furbach, Ulrich (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

*eBook*

Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Hill, Patricia M (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

*eBook*

Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

Hermann, Miki (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

*eBook*

Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Damm, Werner (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Sutcliffe, Geoff (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

*eBook*

Recent trends in algebraic development techniques : 14th international workshop ; selected papers

Bert, Didier (Herausgeber)

Berlin : Springer, 2000

*book*

Automated reasoning : first international joint conference ; proceedings

Goré, Rajeev (Herausgeber)

Berlin : Springer, 2001

*book*

1
2
*Next*
[2]

*sublabel_Solr*

*Showing* 1 - 20 *of* 25

*pagination*

*pagination*

*Narrow Search*

sublabel_Solr

Showing 1 - 20 of 25

pagination

pagination

Narrow Search