The following pages link to Reiner Hähnle (Q679246):
Displaying 50 items.
- Fast subsumption checks using anti-links (Q679247) (← links)
- Linearity and regularity with negation normal form (Q703486) (← links)
- The trace modality (Q777889) (← links)
- Integration of a security type system into a program logic (Q935469) (← links)
- The liberalized \(\delta\)-rule in free variable semantic tableaux (Q1344882) (← links)
- Commodious axiomatization of quantifiers in multiple-valued logic (Q1580665) (← links)
- Inferring secrets by guided experiments (Q1675815) (← links)
- Locally abstract, globally concrete semantics of concurrent programming languages (Q1694447) (← links)
- Verifying OpenJDK's sort method for generic collections (Q1725846) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- Array abstraction with symbolic pivots (Q2026786) (← links)
- Certified abstract cost analysis (Q2044174) (← links)
- Deductive software verification: from pen-and-paper proofs to industrial tools (Q2075776) (← links)
- (Q2701980) (← links)
- (Q2751354) (← links)
- (Q2753604) (← links)
- (Q2767061) (← links)
- A-ordered tableaux (Q2785673) (← links)
- Resource Analysis of Complex Programs with Cost Equations (Q2789051) (← links)
- (Q3021903) (← links)
- Interleaving Symbolic Execution and Partial Evaluation (Q3066122) (← links)
- Specifying Imperative ML-Like Programs Using Dynamic Logic (Q3067541) (← links)
- KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (Q3454119) (← links)
- A Dynamic Logic with Traces and Coinduction (Q3455778) (← links)
- Integration of a Security Type System into a Program Logic (Q3608456) (← links)
- Abstract Interpretation of Symbolic Execution with Explicit State Updates (Q3638994) (← links)
- (Q3838812) (← links)
- Simplification of many-valued logic formulas using anti-links (Q4209297) (← links)
- (Q4265389) (← links)
- (Q4281690) (← links)
- (Q4282514) (← links)
- (Q4282596) (← links)
- (Q4289327) (← links)
- Short Conjunctive Normal Forms in Finitely Valued Logics (Q4323008) (← links)
- (Q4360106) (← links)
- (Q4364517) (← links)
- (Q4366602) (← links)
- (Q4450446) (← links)
- (Q4518443) (← links)
- (Q4524769) (← links)
- (Q4524782) (← links)
- (Q4534923) (← links)
- (Q4536314) (← links)
- (Q4540005) (← links)
- Ordered tableaux: Extensions and applications (Q4610325) (← links)
- The tableau-based theorem prover 3 T A P Version 4.0 (Q4647529) (← links)
- (Q4738328) (← links)
- (Q4738337) (← links)
- (Q4789457) (← links)
- (Q4863689) (← links)
