The following pages link to (Q3691785):
Displayed 29 items.
- Finitely generated equational classes (Q258136) (← links)
- Reverse mathematical bounds for the termination theorem (Q324248) (← links)
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Meta-expansion of transseries (Q629344) (← links)
- The complexity of querying indefinite data about linearly ordered domains (Q676427) (← links)
- From wqo to bqo, via Ellentuck's theorem (Q1201238) (← links)
- Well-quasi-ordering and the Hausdorff quasi-uniformity (Q1295289) (← links)
- On well quasiordering of finite languages (Q1356526) (← links)
- A note on well quasi-orderings for powersets (Q1607015) (← links)
- Well quasi orders in a categorical setting (Q1734279) (← links)
- An infinite natural product (Q1790445) (← links)
- On Scott's thesis for domains of information and well-quasi-orderings (Q1813971) (← links)
- Semilattice modes. I: The associated semiring (Q1902532) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- A syntactic approach to the MacNeille completion of \(\Lambda^\ast\), the free monoid over an ordered alphabet \(\Lambda\) (Q2314419) (← links)
- The Wadge hierarchy on Zariski topologies (Q2664084) (← links)
- On the Expressiveness of Mobile Synchronizing Petri Nets (Q2864393) (← links)
- Ideal Abstractions for Well-Structured Transition Systems (Q2891435) (← links)
- Constantive Mal’cev clones on finite sets are finitely related (Q3053497) (← links)
- On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders (Q3295145) (← links)
- A Combinatorial Bound for a Restricted Form of the Termination Theorem (Q3295155) (← links)
- Une extension d'un théorème de P. Jullien sur les âges de mots (Q4020513) (← links)
- Foundations of BQO Theory (Q4316958) (← links)
- On Better-Quasi-Ordering Countable Series-Parallel Orders (Q4955694) (← links)
- The length of an intersection (Q5108104) (← links)
- Classification problems in continuum theory (Q5461387) (← links)
- Perfect failure detection with very few bits (Q5919048) (← links)
- A proof of the tree alternative conjecture under the topological minor relation (Q6051052) (← links)
- Fixed points and Noetherian topologies (Q6091211) (← links)