The following pages link to Gert Smolka (Q287374):
Displayed 14 items.
- A foundation for higher-order concurrent constraint programming (Q5096300) (← links)
- A confluent relational calculus for higher-order programming with constraints (Q5096302) (← links)
- A record calculus with principal types (Q5096310) (← links)
- (Q5111317) (← links)
- Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217) (← links)
- Frontiers of Combining Systems (Q5491903) (← links)
- (Q5688930) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)
- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies (Q5892513) (← links)
- Programmierung – eine Einführung in die Informatik mit Standard ML (Q5894373) (← links)
- Programmierung – eine Einführung in die Informatik mit Standard ML (Q5895003) (← links)
- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies (Q5902295) (← links)
- (Q6099607) (← links)
- Formal small-step verification of a call-by-value lambda calculus machine (Q6166150) (← links)