An elementary bisimulation decision procedure for arbitrary context free processes.
Saved in:
Personal Name(s): | Burkart, O. |
---|---|
Caucal, D. / Steffen, B. | |
Imprint: |
Aachen :
Technische Hochschule Aachen,
1994.
|
Physical Description: |
25 S. |
Note: |
englisch |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Aachener Informatik-Berichte ;
Vol 94-0028. |
Subject (ZB): | |
Classification: |
LEADER | 00809nam a2200241 n 4500 | ||
---|---|---|---|
001 | 142180 | ||
005 | 19970520000000.0 | ||
008 | r1994 | ||
035 | |a (Sirsi) a126345 | ||
084 | 0 | |a MFA - Classical algebra |2 ZB | |
245 | 0 | 3 | |a An elementary bisimulation decision procedure for arbitrary context free processes. |
260 | |a Aachen : |b Technische Hochschule Aachen, |c 1994. | ||
300 | |a 25 S. | ||
490 | 0 | |a Aachener Informatik-Berichte ; |v Vol 94-0028. | |
500 | |a englisch | ||
596 | |a 34 | ||
650 | 4 | |a algorithm theory | |
700 | 1 | |a Burkart, O. | |
700 | 1 | |a Caucal, D. | |
700 | 1 | |a Steffen, B. | |
900 | |a S 006513-94-0028'01' | ||
908 | |a Monographie, Sammelwerk | ||
949 | |a S 006513-94-0028'01' |w LC |c 1 |i 1095100987 |d 22/11/2007 |l STACKS |m JSC |r Y |s Y |t INSTB |u 25/3/2009 |x INST-M |1 PRINT |