scientific article; zbMATH DE number 1765670
From MaRDI portal
Publication:4539606
Recommendations
- Model completeness and relative decidability
- Expressive completeness through logically tractable models
- On the relation between resolution based and completion based theorem proving
- A proof theory for model checking: an extended abstract
- scientific article; zbMATH DE number 1692938
- On the absence of finite approximation relative to model completeness in propositional provability logic
- A finite-model-theoretic view on propositional proof complexity
- Model completeness in o-minimal polynomially bounded structures
Cited in
(11)- Rayleigh fading channel simulator based on inner-outer factorization
- Robust power control of CDMA cellular radio systems with time-varying delays
- Theorem proving modulo
- On the efficient simulation of the left-tail of the sum of correlated log-normal variates
- On the generalization of the hazard rate twisting-based simulation approach
- Differential space-time block-diagonal codes
- Superposition with equivalence reasoning and delayed clause normal form transformation
- scientific article; zbMATH DE number 1696822 (Why is no real title available?)
- Narrowing based inductive proof search
- On narrowing, refutation proofs and constraints
- Resolution is cut-free
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539606)
