The following pages link to Dean Rosenzweig (Q1899137):
Displaying 12 items.
- A mathematical definition of full Prolog (Q1899138) (← links)
- (Q2753706) (← links)
- (Q3749047) (← links)
- (Q4282584) (← links)
- (Q4283238) (← links)
- (Q4413692) (← links)
- (Q4839029) (← links)
- (Q4873992) (← links)
- Trustworthy Global Computing (Q5394794) (← links)
- Interactive Small-Step Algorithms I: Axiomatization (Q5453496) (← links)
- Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem (Q5453497) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901603) (← links)
