default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 44

> Home > Journals > Journal of Automated Reasoning (JAR)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 44, Numbers 1-2, February 2010

Special Issue: Programming Languages and Mechanized Mathematics Systems

- view
  authority control:
- export record
  dblp key:
  - journals/jar/CaretteWW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CaretteWW10
Jacques Carette, Makarius Wenzel, Freek Wiedijk:
Preface. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Janicic10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Janicic10
Predrag Janicic:
Geometry Constructions Language. 3-24
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Coen10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Coen10
Claudio Sacerdoti Coen:
Declarative Representation of Proof Terms. 25-52
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Guidi10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Guidi10
Ferruccio Guidi:
Procedural Representation of CIC Proof Terms. 53-78
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DietrichS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DietrichS10
Dominik Dietrich, Ewaryst Schulz:
Crystal: Integrating Structured Queries into a Tactic Language. 79-110
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BohmeMSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BohmeMSW10
Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff:
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. 111-144
- view
  authority control:
- export record
  dblp key:
  - journals/jar/JamesC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/JamesC10
Perry R. James, Patrice Chalin:
Faster and More Complete Extended Static Checking for the Java Modeling Language. 145-174

Volume 44, Number 3, March 2010

- view
  authority control:
- export record
  dblp key:
  - journals/jar/AkbarpourP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AkbarpourP10
Behzad Akbarpour, Lawrence C. Paulson:
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions. 175-205
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MendlerS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MendlerS10
Michael Mendler, Stephan Scheele:
Towards Constructive DL for Abstraction and Refinement. 207-243
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Hermant10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Hermant10
Olivier Hermant:
Resolution is Cut-Free. 245-276
- view
  authority control:
- export record
  dblp key:
  - journals/jar/PipatsrisawatD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PipatsrisawatD10
Knot Pipatsrisawat, Adnan Darwiche:
On Modern Clause-Learning Satisfiability Solvers. 277-301

Volume 44, Number 4, April 2010

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Krauss10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Krauss10
Alexander Krauss:
Partial and Nested Recursive Function Definitions in Higher-order Logic. 303-336
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GrauHKS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GrauHKS10
Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn:
Incremental Classification of Description Logics Ontologies. 337-369
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FerrariFF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FerrariFF10
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
BCDL\boldsymbol {\cal BC\!D\!L}: Basic Constructive Description Logic. 371-399
- view
  authority control:
- export record
  dblp key:
  - journals/jar/PiskacMB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PiskacMB10
Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj S. Bjørner:
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. 401-424

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.