Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 40 matches
- 2023
- Akihisa Yamada, Jérémy Dubut:
Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl). ITP 2023: 34:1-34:13 - Mohammad Abdulaziz, Christoph Madlener:
A Formal Analysis of RANKING. ITP 2023: 3:1-3:18 - Oskar Abrahamsson, Magnus O. Myreen:
Fast, Verified Computation for Candle. ITP 2023: 4:1-4:17 - Beniamino Accattoli, Horace Blanc, Claudio Sacerdoti Coen:
Formalizing Functions as Processes. ITP 2023: 5:1-5:21 - David Kurniadi Angdinata, Junyan Xu:
An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in Any Characteristic. ITP 2023: 6:1-6:19 - Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman:
A Proof-Producing Compiler for Blockchain Applications. ITP 2023: 7:1-7:19 - Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi:
Fermat's Last Theorem for Regular Primes (Short Paper). ITP 2023: 36:1-36:8 - Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Théo Zimmermann:
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. ITP 2023: 12:1-12:18 - Roger Bosman, Georgios Karachalias, Tom Schrijvers:
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. ITP 2023: 8:1-8:18 - Mario Carneiro:
Reimplementing Mizar in Rust. ITP 2023: 10:1-10:18 - Mario Carneiro, Chad E. Brown, Josef Urban:
Automated Theorem Proving for Metamath. ITP 2023: 9:1-9:19 - Luís Cruz-Filipe, Fabrizio Montesi:
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. ITP 2023: 11:1-11:19 - Lawrence Dunn, Val Tannen, Steve Zdancewic:
Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure. ITP 2023: 14:1-14:20 - Martin Dvorak, Jasmin Blanchette:
Closure Properties of General Grammars - Formally Verified. ITP 2023: 15:1-15:16 - Jarl G. Taxerås Flaten:
Formalising Yoneda Ext in Univalent Foundations. ITP 2023: 16:1-16:17 - María Inés de Frutos-Fernández:
Formalizing Norm Extensions and Applications to Number Theory. ITP 2023: 13:1-13:18 - Adam Grabowski, Artur Kornilowicz:
Implementing More Explicit Definitional Expansions in Mizar (Short Paper). ITP 2023: 37:1-37:8 - Simon Guilloud, Sankalp Gambhir, Viktor Kuncak:
LISA - A Modern Proof System. ITP 2023: 17:1-17:19 - Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato:
Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL. ITP 2023: 18:1-18:18 - Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban:
MizAR 60 for Mizar 50. ITP 2023: 19:1-19:22 - Philipp Joram, Niccolò Veltri:
Constructive Final Semantics of Finite Bags. ITP 2023: 20:1-20:19 - Christina Kohl, Aart Middeldorp:
Formalizing Almost Development Closed Critical Pairs (Short Paper). ITP 2023: 38:1-38:8 - Angeliki Koutsoukou-Argyraki:
Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk). ITP 2023: 1:1-1:2 - Robbert Krebbers:
Interactive and Automated Proofs in Modal Separation Logic (Invited Talk). ITP 2023: 2:1-2:1 - Dominique Larchey-Wendling, Jean-François Monin:
Proof Pearl: Faithful Computation and Extraction of μ-Recursive Algorithms in Coq. ITP 2023: 21:1-21:17 - Amelia Livingston:
Group Cohomology in the Lean Community Library. ITP 2023: 22:1-22:17 - Oliver Nash:
A Formalisation of Gallagher's Ergodic Theorem. ITP 2023: 23:1-23:16 - Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner:
An Extensible User Interface for Lean 4. ITP 2023: 24:1-24:20 - Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel:
Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant. ITP 2023: 25:1-25:19 - Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer:
Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. ITP 2023: 26:1-26:20
skipping 10 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-06-06 05:58 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint