Q5018493 (Q5018493): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3693501 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial derivatives of regular expressions and finite automaton constructions / rank
 
Normal rank
Property / cites work
 
Property / cites work: A characterization of regular expressions under bisimulation / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Equational Axiomatization of Bisimulation over Regular Expressions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Axiomatizations for the perpetual loop in process algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proceedings 7th International Workshop on Computing with Terms and Graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximal sharing in the Lambda calculus with letrec / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5013813 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A complete inference system for a class of regular behaviours / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two Complete Axiom Systems for the Algebra of Regular Events / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 13:58, 27 July 2024