Pages that link to "Item:Q2848053"
From MaRDI portal
The following pages link to A practical approach to partial functions in CVC Lite (Q2848053):
Displaying 10 items.
- Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions (Q384705) (← links)
- Classical logic with partial functions (Q438568) (← links)
- Partial functions in ACL2 (Q1425160) (← links)
- Satisfiability in composition-nominative logics (Q2445092) (← links)
- An abstract decision procedure for satisfiability in the theory of recursive data types (Q2864522) (← links)
- Efficient Well-Definedness Checking (Q3541692) (← links)
- Computer Aided Verification (Q5312942) (← links)
- Classical Logic with Partial Functions (Q5747762) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)
- Towards systematic treatment of partial functions in knowledge representation (Q6545581) (← links)