The following pages link to Joram Hirschfeld (Q1216296):
Displaying 43 items.
- (Q418178) (redirect page) (← links)
- Continuous time temporal logic with counting (Q418179) (← links)
- Decidable metric logics (Q999264) (← links)
- Meadows and the equational specification of division (Q1006649) (← links)
- (Q1119634) (redirect page) (← links)
- Nonstandard combinatorics (Q1119635) (← links)
- A lower bound for Ramsey's theorem (Q1152384) (← links)
- Forcing, arithmetic, division rings (Q1216298) (← links)
- Models of arithmetic and recursive functions (Q1219274) (← links)
- (Q1234368) (redirect page) (← links)
- Non standard analysis and the compactification of groups (Q1234369) (← links)
- A polynomial algorithm for deciding bisimilarity of normed context-free processes (Q1351456) (← links)
- Timer formulas and decidable metric temporal logic (Q1780454) (← links)
- Future temporal logic needs infinitely many modalities (Q1877549) (← links)
- Lectures on non-standard analysis (Q2535149) (← links)
- The probability nesting game (Q2842598) (← links)
- Expressiveness of Metric Modalities for Continuous Time (Q3434696) (← links)
- The Nonstandard Treatment of Hilbert's Fifth Problem (Q3484833) (← links)
- (Q3833596) (← links)
- (Q3861362) (← links)
- Finite forcing, existential types and complete types (Q3875908) (← links)
- Generalized ultrapowers (Q3900035) (← links)
- (Q3982059) (← links)
- (Q4078015) (← links)
- Examples in the theory of existential completeness (Q4194941) (← links)
- (Q4202941) (← links)
- (Q4222868) (← links)
- The Model Companion of ZF (Q4401445) (← links)
- (Q4525284) (← links)
- A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes (Q4715674) (← links)
- (Q4767317) (← links)
- (Q4824483) (← links)
- (Q4874651) (← links)
- Promptness in ω-Regular Automata (Q4931280) (← links)
- (Q4938637) (← links)
- (Q4938638) (← links)
- (Q4945224) (← links)
- Expressiveness of Metric modalities for continuous time (Q5310679) (← links)
- Fields, Meadows and Abstract Data Types (Q5452178) (← links)
- (Q5677484) (← links)
- An Expressive Temporal Logic for Real Time (Q5756667) (← links)
- Pushdown automata, multiset automata, and Petri nets (Q5941098) (← links)
- Decidability results in automata and process theory (Q6560390) (← links)
