Pages that link to "Item:Q3719820"
From MaRDI portal
The following pages link to A programming language for the inductive sets, and applications (Q3719820):
Displaying 12 items.
- Computational inductive definability (Q598276) (← links)
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- Concurrent program schemes and their logics (Q1094866) (← links)
- Communication in concurrent dynamic logic (Q1095653) (← links)
- Descriptive characterizations of computational complexity (Q1123616) (← links)
- A logic of recursion (Q1262303) (← links)
- An informal introduction to a high level language with applications to interval mathematics (Q1899457) (← links)
- Halting and Equivalence of Program Schemes in Models of Arbitrary Theories (Q3586015) (← links)
- The dimension of the negation of transitive closure (Q4842619) (← links)
- How to Compute Antiderivatives (Q4858804) (← links)
- Differential Game Logic (Q5277902) (← links)
- Well-founded coalgebras, revisited (Q5361146) (← links)