Back to Results
First PageMeta Content
Automata theory / Mathematics / Deduction / Entailment / Logical consequence / Metalogic / Nondeterministic finite automaton / Symbol / Petri net / Logic / Abstract algebra / Models of computation


A Structural Approach to Operational Semantics
Add to Reading List

Document Date: 2005-01-10 08:48:23

Open Document

File Size: 612,09 KB

Share Result on Facebook
UPDATE