Book Chapter10.1007/978-3-662-44584-6_31

Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices

Natsuki Urabe,Ichiro Hasuo-2014-01-01-Lecture notes in computer science

16

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

SoundnessCorrectnessComputer scienceSemiringRotation formalisms in three dimensionsAutomatonTheoretical computer scienceWorkflow

Chat

Click to start Chat