The following pages link to (Q4003336):
Displaying 16 items.
- Characterizations of semicomputable sets of real numbers (Q478399) (← links)
- Verification conditions are code (Q855274) (← links)
- Theory of logic programming. An elementary introduction (Q1202019) (← links)
- The verification of modules (Q1329200) (← links)
- Operational concepts of nonmonotonic logics. I: Default logic (Q1333283) (← links)
- Operational characterization of extensions in some logics for default reasoning (Q1364501) (← links)
- Running programs backwards: The logical inversion of imperative computation (Q1377325) (← links)
- New proofs in default logic theory (Q1924751) (← links)
- (Q2724155) (← links)
- Mathematical Logic for Computer Science (Q2894076) (← links)
- (Q4002451) (← links)
- (Q4699345) (← links)
- (Q4840188) (← links)
- (Q4863622) (← links)
- Modeling Complex Systems and Their Validation—General System Theoretical Approach (Q5049406) (← links)
- Logic for computer scientists (Q5905500) (← links)