![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Automated Reasoning (JAR), Volume 30
Volume 30, Number 1, January 2003
- Cesare Tinelli:
Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing. 1-31 - Antonella Santone, Gigliola Vaglini:
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. 33-58 - Fairouz Kamareddine, Qiao Haiyan:
Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF. 59-98 - Miquel Bofill
, Guillem Godoy, Robert Nieuwenhuis
, Albert Rubio:
Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. 99-120
Volume 30, Number 2, February 2003
- Andrei Voronkov:
Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. 121-151 - Michaël Rusinowitch, Sorin Stratulat, Francis Klay:
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. 53-177 - Larry Wos:
The Strategy of Cramming. 179-204 - Krishnendu Chatterjee
, Pallab Dasgupta, P. P. Chakrabarti:
A Branching Time Temporal Framework for Quantitative Reasoning. 205-232
Volume 30, Numbers 3-4, 2003
- Tobias Nipkow:
Java Bytecode Verification. 233 - Xavier Leroy:
Java Bytecode Verification: Algorithms and Formalizations. 235-269 - Stephen N. Freund, John C. Mitchell:
A Type System for the Java Bytecode Language and Verifier. 271-321 - Robert F. Stärk, Joachim Schmid:
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler. 323-361 - Gerwin Klein
, Martin Wildmoser:
Verified Bytecode Subroutines. 363-398 - David A. Basin, Stefan Friedrich, Marek Gawkowski:
Bytecode Verification by Model Checking. 399-444
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.