Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519256419> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1519256419 abstract "Invited Papers.- On the Correctness of Operating System Kernels.- Alpha-Structural Recursion and Induction.- Regular Papers.- Shallow Lazy Proofs.- Mechanized Metatheory for the Masses: The PoplMark Challenge.- A Structured Set of Higher-Order Problems.- Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS.- Proving Equalities in a Commutative Ring Done Right in Coq.- A HOL Theory of Euclidean Space.- A Design Structure for Higher Order Quotients.- Axiomatic Constructor Classes in Isabelle/HOLCF.- Meta Reasoning in ACL2.- Reasoning About Java Programs with Aliasing and Frame Conditions.- Real Number Calculations and Theorem Proving.- Verifying a Secure Information Flow Analyzer.- Proving Bounds for Real Linear Programs in Isabelle/HOL.- Essential Incompleteness of Arithmetic Verified by Coq.- Verification of BDD Normalization.- Extensionality in the Calculus of Constructions.- A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic.- A Generic Network on Chip Model.- Formal Verification of a SHA-1 Circuit Core Using ACL2.- From PSL to LTL: A Formal Validation in HOL.- Proof Pearls.- Proof Pearl: A Formal Proof of Higman's Lemma in ACL2.- Proof Pearl: Dijkstra's Shortest Path Algorithm Verified with ACL2.- Proof Pearl: Defining Functions over Finite Sets.- Proof Pearl: Using Combinators to Manipulate let-Expressions in Proof." @default.
- W1519256419 created "2016-06-24" @default.
- W1519256419 creator A5015518667 @default.
- W1519256419 creator A5078697301 @default.
- W1519256419 date "2005-09-19" @default.
- W1519256419 modified "2023-09-27" @default.
- W1519256419 title "Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings" @default.
- W1519256419 hasPublicationYear "2005" @default.
- W1519256419 type Work @default.
- W1519256419 sameAs 1519256419 @default.
- W1519256419 citedByCount "0" @default.
- W1519256419 crossrefType "book" @default.
- W1519256419 hasAuthorship W1519256419A5015518667 @default.
- W1519256419 hasAuthorship W1519256419A5078697301 @default.
- W1519256419 hasConcept C108710211 @default.
- W1519256419 hasConcept C11413529 @default.
- W1519256419 hasConcept C118615104 @default.
- W1519256419 hasConcept C13766981 @default.
- W1519256419 hasConcept C138885662 @default.
- W1519256419 hasConcept C173613240 @default.
- W1519256419 hasConcept C17435882 @default.
- W1519256419 hasConcept C199343813 @default.
- W1519256419 hasConcept C199360897 @default.
- W1519256419 hasConcept C203265346 @default.
- W1519256419 hasConcept C206880738 @default.
- W1519256419 hasConcept C2318724 @default.
- W1519256419 hasConcept C2524010 @default.
- W1519256419 hasConcept C27206212 @default.
- W1519256419 hasConcept C2777686260 @default.
- W1519256419 hasConcept C2779251273 @default.
- W1519256419 hasConcept C33923547 @default.
- W1519256419 hasConcept C41008148 @default.
- W1519256419 hasConcept C71924100 @default.
- W1519256419 hasConcept C94461902 @default.
- W1519256419 hasConceptScore W1519256419C108710211 @default.
- W1519256419 hasConceptScore W1519256419C11413529 @default.
- W1519256419 hasConceptScore W1519256419C118615104 @default.
- W1519256419 hasConceptScore W1519256419C13766981 @default.
- W1519256419 hasConceptScore W1519256419C138885662 @default.
- W1519256419 hasConceptScore W1519256419C173613240 @default.
- W1519256419 hasConceptScore W1519256419C17435882 @default.
- W1519256419 hasConceptScore W1519256419C199343813 @default.
- W1519256419 hasConceptScore W1519256419C199360897 @default.
- W1519256419 hasConceptScore W1519256419C203265346 @default.
- W1519256419 hasConceptScore W1519256419C206880738 @default.
- W1519256419 hasConceptScore W1519256419C2318724 @default.
- W1519256419 hasConceptScore W1519256419C2524010 @default.
- W1519256419 hasConceptScore W1519256419C27206212 @default.
- W1519256419 hasConceptScore W1519256419C2777686260 @default.
- W1519256419 hasConceptScore W1519256419C2779251273 @default.
- W1519256419 hasConceptScore W1519256419C33923547 @default.
- W1519256419 hasConceptScore W1519256419C41008148 @default.
- W1519256419 hasConceptScore W1519256419C71924100 @default.
- W1519256419 hasConceptScore W1519256419C94461902 @default.
- W1519256419 hasLocation W15192564191 @default.
- W1519256419 hasOpenAccess W1519256419 @default.
- W1519256419 hasPrimaryLocation W15192564191 @default.
- W1519256419 hasRelatedWork W1480260388 @default.
- W1519256419 hasRelatedWork W1499915732 @default.
- W1519256419 hasRelatedWork W1509848970 @default.
- W1519256419 hasRelatedWork W1538506032 @default.
- W1519256419 hasRelatedWork W1553457932 @default.
- W1519256419 hasRelatedWork W1553762530 @default.
- W1519256419 hasRelatedWork W1555144126 @default.
- W1519256419 hasRelatedWork W1558816505 @default.
- W1519256419 hasRelatedWork W1575011135 @default.
- W1519256419 hasRelatedWork W1585536033 @default.
- W1519256419 hasRelatedWork W1586167239 @default.
- W1519256419 hasRelatedWork W1594490163 @default.
- W1519256419 hasRelatedWork W1598572838 @default.
- W1519256419 hasRelatedWork W1605983610 @default.
- W1519256419 hasRelatedWork W1968724907 @default.
- W1519256419 hasRelatedWork W2003674078 @default.
- W1519256419 hasRelatedWork W2007080570 @default.
- W1519256419 hasRelatedWork W294101617 @default.
- W1519256419 hasRelatedWork W1797798772 @default.
- W1519256419 hasRelatedWork W1799115352 @default.
- W1519256419 isParatext "false" @default.
- W1519256419 isRetracted "false" @default.
- W1519256419 magId "1519256419" @default.
- W1519256419 workType "book" @default.