Results 1 -
2 of
2
Fusion trees can be implemented with AC0 instructions only. Theoret
- Comput. Sci
, 1999
"... is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRICS ..."
Abstract
-
Cited by 12 (1 self)
- Add to MetaCart
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRICS
Regular Trace Event Structures
, 1996
"... We propose trace event structures as a starting point for constructing effective branching time temporal logics in a non-interleaved setting. ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
We propose trace event structures as a starting point for constructing effective branching time temporal logics in a non-interleaved setting.

