Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-8
|
Results: 8
APPROXIMATING TRACES
Authors:
DIEKERT V GASTIN P
Citation:
V. Diekert et P. Gastin, APPROXIMATING TRACES, Acta informatica, 35(7), 1998, pp. 567-593
RATIONAL AND RECOGNIZABLE COMPLEX TRACE LANGUAGES
Authors:
DIEKERT V GASTIN P PETIT A
Citation:
V. Diekert et al., RATIONAL AND RECOGNIZABLE COMPLEX TRACE LANGUAGES, Information and computation, 116(1), 1995, pp. 134-153
ON CONFLUENCE OF ONE-RULE TRACE-REWRITING SYSTEMS
Authors:
WRATHALL C DIEKERT V
Citation:
C. Wrathall et V. Diekert, ON CONFLUENCE OF ONE-RULE TRACE-REWRITING SYSTEMS, Mathematical systems theory, 28(4), 1995, pp. 341-361
ON CONFLUENT SEMICOMMUTATIONS - DECIDABILITY AND COMPLEXITY RESULTS
Authors:
DIEKERT V OCHMANSKI E REINHARDT K
Citation:
V. Diekert et al., ON CONFLUENT SEMICOMMUTATIONS - DECIDABILITY AND COMPLEXITY RESULTS, Information and computation, 110(1), 1994, pp. 164-182
A PARTIAL TRACE SEMANTICS FOR PETRI NETS
Authors:
DIEKERT V
Citation:
V. Diekert, A PARTIAL TRACE SEMANTICS FOR PETRI NETS, Theoretical computer science, 134(1), 1994, pp. 87-105
A PARTIAL TRACE SEMANTICS FOR PETRI NETS
Authors:
DIEKERT V
Citation:
V. Diekert, A PARTIAL TRACE SEMANTICS FOR PETRI NETS, Theoretical computer science, 134(1), 1994, pp. 87-105
DETERMINISTIC ASYNCHRONOUS AUTOMATA FOR INFINITE TRACES
Authors:
DIEKERT V MUSCHOLL A
Citation:
V. Diekert et A. Muscholl, DETERMINISTIC ASYNCHRONOUS AUTOMATA FOR INFINITE TRACES, Acta informatica, 31(4), 1994, pp. 379-397
ON THE CONCATENATION OF INFINITE TRACES
Authors:
DIEKERT V
Citation:
V. Diekert, ON THE CONCATENATION OF INFINITE TRACES, Theoretical computer science, 113(1), 1993, pp. 35-54
Risultati:
1-8
|