*Search Results* - Automated termination analysis of Java bytecode by term rewriting

sublabel_Solr

1
2
*Next*
[2]

Automated termination analysis of Java bytecode by term rewriting

Otto, Carsten

Aachen : RWTH, 2010

*eBook*

Modular termination proofs of recursive java bytecode programs by term rewriting

Brockschmidt, Marc (Verfasser)

Aachen : RWTH Aachen, 2011

*eBook*

Static termination analysis for Prolog using term rewriting and SAT solving

Schneider-Kamp, Peter

Aachen : RWTH Aachen, 2008

*eBook*

Size-change termiantion for term rewriting

Thiemann, René

Aachen : RWTH, 2003

*eBook*

Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Siegler, Simon (Herausgeber)

1st edition 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

*eBook*

Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Baader, Franz (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Pientka, Brigitte (Herausgeber)

1st ed. 2023

Cham : Springer Nature Switzerland, 2023

*eBook*

Automated reasoning : first international joint conference ; proceedings

Goré, Rajeev (Herausgeber)

Berlin : Springer, 2001

*book*

Automated Deduction – CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

Schmidt, Renate (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

*eBook*

Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Pfenning, Frank (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

Conference on automated deduction : 5th conference, Les Arcs, France, July 8-11, 1980

Bibel, Wolfgang (Hrsg.)

Berlin : Springer, 1980

*book*

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

Bertot, Yves

Berlin [u.a.] : Springer, 2004

*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*

Principles of declarative programming : 10th international symposium ; proceedings

Palamidessi, Catuscia (Herausgeber)

Berlin : Springer, 1998

*book*

Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Beckert, Bernhard (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

*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*

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Cervesato, Iliano (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

*eBook*

Fundamental Approaches to Software Engineering : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Cerioli, Maura (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

*eBook*

Logic for programming, artificial intelligence, and reasoning : 8th international conference ; proceedings

Nieuwenhuis, Robert (Herausgeber)

Berlin : Springer, 2001

*book*

Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Dawar, Anuj (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

*eBook*

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