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

*to main content*

*to footer with external links*

sublabel_Solr

1
2
3
*Next*
[3]

1

Automated termination analysis of Java bytecode by term rewriting

Otto, Carsten

Aachen : RWTH, 2010

*eBook*

2

Modular termination proofs of recursive java bytecode programs by term rewriting

Brockschmidt, Marc (Verfasser)

Aachen : RWTH Aachen, 2011

*eBook*

3

Static termination analysis for Prolog using term rewriting and SAT solving

Schneider-Kamp, Peter

Aachen : RWTH Aachen, 2008

*eBook*

4

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*

5

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*

6

Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60th birthday

Siegler, Simon (Herausgeber)

Berlin : Springer, 2010

*book*

7

Size-change termiantion for term rewriting

Thiemann, René

Aachen : RWTH, 2003

*eBook*

8

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*

9

Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Dowek, Gilles (Herausgeber)

1st ed. 2014

Cham : Springer International Publishing, 2014

*eBook*

10

Rewriting techniques and applications : 14th international conference ; proceedings

Nieuwenhuis, Robert (Herausgeber)

Berlin : Springer, 2003

*book*

11

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*

12

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*

13

Automated reasoning : first international joint conference ; proceedings

Goré, Rajeev (Herausgeber)

Berlin : Springer, 2001

*book*

14

Formal syntax and semantics of Java

Alves-Foss, Jim (Herausgeber)

Berlin : Springer, 1999

*book*

15

Automated deduction : proceedings

Kapur, Deepak (Herausgeber)

Berlin : Springer, 1992

*book*

16

Static analysis : 7th international symposium ; proceedings

Palsberg, Jens (Herausgeber)

Berlin : Springer, 2000

*book*

17

Logic programming and automated reasoning : 4th international conference ; proceedings

Voronkov, Andrei (Herausgeber)

Berlin : Springer, 1993

*book*

18

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning

Schmid, Ute

Berlin [u.a.] : Springer, 2003

*book*

19

International Conference on Automated Deduction

Siekmann, Jörg (Hrsg.)

Berlin : Springer, 1986

*book*

20

Eighth International conference on automated deduction : Oxford, England, July 27-Aug. 1, 1986 ; proceedings

Siekmann, Jörg

Berlin : Springer, 1986

*book*

1
2
3
*Next*
[3]