ask others

Archive of Formal Proofs, Volume 2011

> Home > Journals > Archive of Formal Proofs

Volume 2011, 2011

- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Grechuk11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Grechuk11
Bogdan Grechuk:
Lower Semicontinuous Functions.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Immler11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Immler11
Fabian Immler:
RIPEMD-160.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/StrnisaP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/StrnisaP11
Rok Strnisa, Matthew J. Parkinson:
Lightweight Java.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Trachtenherz11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Trachtenherz11
David Trachtenherz:
Interval Temporal Logic on Natural Numbers.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Trachtenherz11a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Trachtenherz11a
David Trachtenherz:
AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Trachtenherz11b
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Trachtenherz11b
David Trachtenherz:
Infinite Lists.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/SternagelT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/SternagelT11
Christian Sternagel, René Thiemann:
Executable Transitive Closures of Finite Relations.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Breitner11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Breitner11
Joachim Breitner:
The General Triangle Is Unique.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Gammie11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Gammie11
Peter Gammie:
Knowledge-based programs.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Rizkallah11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Rizkallah11
Christine Rizkallah:
Maximum Cardinality Matching.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Nipkow11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Nipkow11
Tobias Nipkow:
Gauss-Jordan Elimination for Matrices Represented as Functions.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/WuZU11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/WuZU11
Chunhan Wu, Xingyuan Zhang, Christian Urban:
The Myhill-Nerode Theorem Based on Regular Expressions.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Preoteasa11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Preoteasa11
Viorel Preoteasa:
Lattice Properties.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Preoteasa11a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Preoteasa11a
Viorel Preoteasa:
Algebra of Monotonic Boolean Transformers.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/GeorgescuLP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/GeorgescuLP11
George Georgescu, Laurentiu Leustean, Viorel Preoteasa:
Pseudo Hoops.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Sternagel11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Sternagel11
Christian Sternagel:
Efficient Mergesort.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/GrovM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/GrovM11
Gudmund Grov, Stephan Merz:
A Definitional Encoding of TLA* in Isabelle/HOL.

maintained by

, founded at