عنوان

Automata for branching and layered temporal structures: <an investigation into regularities of infinite transition systems>

276106

انگلیسی

Automata for branching and layered temporal structures: <an investigation into regularities of infinite transition systems>

[book]

/ Gabriele Puppis

Berlin

: Springer

، 2010

x, 206 p.

: ill

Lecture notes in artificial intelligence, LNAI

: 5955

Based on a Ph.D. thesis Includes bibliographical references and index

Computer logic

Branching processes

Space and time

Machine theory

006

P984A

2010

Puppis, Gabriele

author

ایران

006 .3 P984A 2010

Previous cataloging

عنوان Automata for branching and layered temporal structures: &lt;an investigation into regularities of infinite transition systems&gt;