Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/afp/afp2008.bht:"
@article{DBLP:journals/afp/AehligN08, author = {Klaus Aehlig and Tobias Nipkow}, title = {Normalization by Evaluation}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/NormByEval.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/AehligN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/BeringerH08, author = {Lennart Beringer and Martin Hofmann}, title = {Secure information flow and program logics}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/SIFPL.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/BeringerH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/BeringerH08a, author = {Lennart Beringer and Martin Hofmann}, title = {A Bytecode Logic for {JML} and Types}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/BytecodeLogicJmlTypes.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/BeringerH08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Blanchette08, author = {Jasmin Christian Blanchette}, title = {The Textbook Proof of Huffman's Algorithm}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/Huffman.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Blanchette08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Gammie08, author = {Peter Gammie}, title = {Some classical results in Social Choice Theory}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/SenSocialChoice.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Gammie08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Maric08, author = {Filip Maric}, title = {Formal Verification of Modern {SAT} Solvers}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/SATSolverVerification.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Maric08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Nedzelsky08, author = {Michael Nedzelsky}, title = {Recursion Theory {I}}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/Recursion-Theory-I.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Nedzelsky08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Nipkow08, author = {Tobias Nipkow}, title = {Quantifier Elimination for Linear Arithmetic}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/LinearQuantifierElim.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Nipkow08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Nipkow08a, author = {Tobias Nipkow}, title = {Fun With Functions}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/FunWithFunctions.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Nipkow08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Nipkow08b, author = {Tobias Nipkow}, title = {Arrow and Gibbard-Satterthwaite}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/ArrowImpossibilityGS.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Nipkow08b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/NipkowP08, author = {Tobias Nipkow and Lawrence C. Paulson}, title = {Fun With Tilings}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/FunWithTilings.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/NipkowP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/OrtnerS08, author = {Veronika Ortner and Norbert Schirmer}, title = {{BDD} Normalisation}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/BDD.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/OrtnerS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Schirmer08, author = {Norbert Schirmer}, title = {A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/Simpl.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Schirmer08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/SneltingW08, author = {Gregor Snelting and Daniel Wasserrab}, title = {A Correctness Proof for the Volpano/Smith Security Typing System}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/VolpanoSmith.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/SneltingW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Wasserrab08, author = {Daniel Wasserrab}, title = {Towards Certified Slicing}, journal = {Arch. Formal Proofs}, volume = {2008}, year = {2008}, url = {https://www.isa-afp.org/entries/Slicing.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Wasserrab08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.