Commit 5c8ad1fe authored by Gerwin Klein's avatar Gerwin Klein
Browse files

regenerate website with new bibtex

parent 8234453a0f91
......@@ -144,7 +144,7 @@ security guarantees.</td>
journal = {Archive of Formal Proofs},
month = apr,
year = 2020,
note = {\url{http://isa-afp.org/entries/ADS_Functor.html},
note = {\url{https://isa-afp.org/entries/ADS_Functor.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -132,7 +132,7 @@ formalisation in this entry was described in an earlier publication.</td>
journal = {Archive of Formal Proofs},
month = oct,
year = 2020,
note = {\url{http://isa-afp.org/entries/AI_Planning_Languages_Semantics.html},
note = {\url{https://isa-afp.org/entries/AI_Planning_Languages_Semantics.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -149,7 +149,7 @@ automatically and identify exactly the steps that are no longer valid.
journal = {Archive of Formal Proofs},
month = oct,
year = 2014,
note = {\url{http://isa-afp.org/entries/AODV.html},
note = {\url{https://isa-afp.org/entries/AODV.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -124,7 +124,7 @@ MathJax = {
journal = {Archive of Formal Proofs},
month = mar,
year = 2004,
note = {\url{http://isa-afp.org/entries/AVL-Trees.html},
note = {\url{https://isa-afp.org/entries/AVL-Trees.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -150,7 +150,7 @@ terms and joining processes).</p></td>
journal = {Archive of Formal Proofs},
month = mar,
year = 2014,
note = {\url{http://isa-afp.org/entries/AWN.html},
note = {\url{https://isa-afp.org/entries/AWN.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -134,7 +134,7 @@ refinement proof in the I/O-automata framework of Lynch and Tuttle.</td>
journal = {Archive of Formal Proofs},
month = mar,
year = 2012,
note = {\url{http://isa-afp.org/entries/Abortable_Linearizable_Modules.html},
note = {\url{https://isa-afp.org/entries/Abortable_Linearizable_Modules.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -137,7 +137,7 @@ polished) development is covered in the book
journal = {Archive of Formal Proofs},
month = nov,
year = 2016,
note = {\url{http://isa-afp.org/entries/Abs_Int_ITP2012.html},
note = {\url{https://isa-afp.org/entries/Abs_Int_ITP2012.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -121,7 +121,7 @@ MathJax = {
journal = {Archive of Formal Proofs},
month = aug,
year = 2006,
note = {\url{http://isa-afp.org/entries/Abstract-Hoare-Logics.html},
note = {\url{https://isa-afp.org/entries/Abstract-Hoare-Logics.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -137,7 +137,7 @@ instances. <br>
journal = {Archive of Formal Proofs},
month = jun,
year = 2010,
note = {\url{http://isa-afp.org/entries/Abstract-Rewriting.html},
note = {\url{https://isa-afp.org/entries/Abstract-Rewriting.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -122,7 +122,7 @@ The abstract proof can be instantiated for a wide range of Gentzen and tableau s
journal = {Archive of Formal Proofs},
month = apr,
year = 2014,
note = {\url{http://isa-afp.org/entries/Abstract_Completeness.html},
note = {\url{https://isa-afp.org/entries/Abstract_Completeness.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -129,7 +129,7 @@ predicates.</td>
journal = {Archive of Formal Proofs},
month = feb,
year = 2017,
note = {\url{http://isa-afp.org/entries/Abstract_Soundness.html},
note = {\url{https://isa-afp.org/entries/Abstract_Soundness.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -142,7 +142,7 @@ simple WHILE-language and its correctness is shown using Hoare-logic.</td>
journal = {Archive of Formal Proofs},
month = aug,
year = 2019,
note = {\url{http://isa-afp.org/entries/Adaptive_State_Counting.html},
note = {\url{https://isa-afp.org/entries/Adaptive_State_Counting.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -129,7 +129,7 @@ type</td>
journal = {Archive of Formal Proofs},
month = feb,
year = 2014,
note = {\url{http://isa-afp.org/entries/Affine_Arithmetic.html},
note = {\url{https://isa-afp.org/entries/Affine_Arithmetic.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -124,7 +124,7 @@ based on linearly ordered commutative semigroups.</td>
journal = {Archive of Formal Proofs},
month = sep,
year = 2018,
note = {\url{http://isa-afp.org/entries/Aggregation_Algebras.html},
note = {\url{https://isa-afp.org/entries/Aggregation_Algebras.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -138,7 +138,7 @@ proof methods, see the accompanying paper (publication forthcoming).</td>
journal = {Archive of Formal Proofs},
month = jul,
year = 2015,
note = {\url{http://isa-afp.org/entries/Akra_Bazzi.html},
note = {\url{https://isa-afp.org/entries/Akra_Bazzi.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -133,7 +133,7 @@ To this end, we mechanized several results on resultants, which also required us
journal = {Archive of Formal Proofs},
month = dec,
year = 2015,
note = {\url{http://isa-afp.org/entries/Algebraic_Numbers.html},
note = {\url{https://isa-afp.org/entries/Algebraic_Numbers.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -146,7 +146,7 @@ trace semantics into the weakest precondition component.</td>
journal = {Archive of Formal Proofs},
month = jun,
year = 2016,
note = {\url{http://isa-afp.org/entries/Algebraic_VCs.html},
note = {\url{https://isa-afp.org/entries/Algebraic_VCs.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -137,7 +137,7 @@ pages 528–531, 1985.</td>
journal = {Archive of Formal Proofs},
month = sep,
year = 2016,
note = {\url{http://isa-afp.org/entries/Allen_Calculus.html},
note = {\url{https://isa-afp.org/entries/Allen_Calculus.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -124,7 +124,7 @@ Riele's Rule and Borho's Rule with breeders.</td>
journal = {Archive of Formal Proofs},
month = aug,
year = 2020,
note = {\url{http://isa-afp.org/entries/Amicable_Numbers.html},
note = {\url{https://isa-afp.org/entries/Amicable_Numbers.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
......@@ -137,7 +137,7 @@ is available <a href="http://www21.in.tum.de/~nipkow/pubs/jfp16.html">here</a>.<
journal = {Archive of Formal Proofs},
month = jul,
year = 2014,
note = {\url{http://isa-afp.org/entries/Amortized_Complexity.html},
note = {\url{https://isa-afp.org/entries/Amortized_Complexity.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment