to main content
to side bar (if existing)
to footer with external links
KATALOGPORTAL
KARLA
Toggle navigation
News from the University Library
Requesting items
Your Account
Log Out
Log in
DE/EN
English
Deutsch
Warning! JavaScript is disabled in your browser. Therefore this website has limited usability.
/Search/Results?lookfor=Modular+termination+proofs+of+recursive+java+bytecode+programs+by+term+rewriting&type=AllFields
Books & More
/EDS/Search?lookfor=Modular+termination+proofs+of+recursive+java+bytecode+programs+by+term+rewriting&type=AllFields&view=
Articles & More
/Combined/Results?lookfor=Modular+termination+proofs+of+recursive+java+bytecode+programs+by+term+rewriting
Combined results
(0)
Find
Search History
KATALOGPORTAL
KARLA
Search: Modular termination proofs of recursive java bytecode programs by term rewriting
Not found what you are looking for? Check in
Onleihe
or make a
Purchase Request
Filter options
Books & More
Books, Journals, Online-Media and more from your Library
Showing
1
-
13
of
13
for search:
'Modular termination proofs of recursive java bytecode programs by term rewriting'
, query time: 0.30s
1
Modular termination proofs of recursive java bytecode programs by term rewriting
Brockschmidt, Marc (Verfasser)
Aachen : RWTH Aachen, 2011
E-Book
Save to List
Saved in:
2
Size-change termiantion for term rewriting
Thiemann, René
Aachen : RWTH, 2003
E-Book
Save to List
Saved in:
3
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
E-Book
Save to List
Saved in:
4
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
E-Book
Save to List
Saved in:
5
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
E-Book
Save to List
Saved in:
6
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
E-Book
Save to List
Saved in:
7
Introduction to programming with Fortran : with coverage of Fortran 90, 95, 2003, and 77
Chivers, Ian D. (Verfasser)
London : Springer, 2006
Book
Save to List
Saved in:
8
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
E-Book
Save to List
Saved in:
9
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
E-Book
Save to List
Saved in:
10
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
E-Book
Save to List
Saved in:
11
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
E-Book
Save to List
Saved in:
12
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
E-Book
Save to List
Saved in:
13
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
E-Book
Save to List
Saved in:
More results in Books & more
Not found what you are looking for?
Purchase Request
/
Onleihe
/
Interlibrary Loan
Articles & more
Loading...
Please enable JavaScript.
×
Loading...
