The following pages link to Matthias Jantzen (Q795512):
Displayed 49 items.
- (Q751829) (redirect page) (← links)
- Automating the Knuth Bendix ordering (Q751830) (← links)
- Homomorphic images of sentential form languages defined by semi-Thue systems (Q795513) (← links)
- The residue of vector sets with applications to decidability problems in Petri nets (Q797285) (← links)
- A periodic division pattern that cannot be generated by D0L systems (Q804298) (← links)
- Petri nets and algebraic specifications (Q804305) (← links)
- The parallel complexity of two problems on concurrency (Q811123) (← links)
- Extending regular expressions with iterated shuffle (Q1063422) (← links)
- Variations on the technique of Ďuriš and Galil (Q1064791) (← links)
- A note on a special one-rule semi-Thue system (Q1067781) (← links)
- A timed model for communicating sequential processes (Q1109561) (← links)
- An incompleteness result in process algebra (Q1113665) (← links)
- A note on regular classes in special Thue systems (Q1116708) (← links)
- Stable families of behavioural equivalences (Q1119013) (← links)
- Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages (Q1120292) (← links)
- Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← links)
- The power of synchronizing operations on strings (Q1161057) (← links)
- On a special monoid with a single defining relation (Q1162607) (← links)
- Monadic Thue systems (Q1165842) (← links)
- Elementary transition systems (Q1190485) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- (Q1255324) (redirect page) (← links)
- A note on vector grammars (Q1255325) (← links)
- Cancellation in context-free languages: enrichment by reduction (Q1325840) (← links)
- Petri net algorithms in the theory of matrix grammars (Q1342504) (← links)
- Refining the hierarchy of blind multicounter languages and twist-closed trios. (Q1427852) (← links)
- (Q2762519) (← links)
- (Q3330532) (← links)
- (Q3346296) (← links)
- (Q3471701) (← links)
- Labeled Step Sequences in Petri Nets (Q3510872) (← links)
- (Q3670561) (← links)
- (Q3766866) (← links)
- (Q3766867) (← links)
- (Q3766878) (← links)
- (Q3783607) (← links)
- A normal form theorem for label grammars (Q3938522) (← links)
- (Q3939790) (← links)
- (Q3968469) (← links)
- (Q3994922) (← links)
- (Q4190159) (← links)
- (Q4198084) (← links)
- (Q4281522) (← links)
- (Q4371016) (← links)
- (Q4381393) (← links)
- (Q4430312) (← links)
- (Q4720791) (← links)
- (Q5506359) (← links)
- (Q5506372) (← links)