Sciweavers

2296 search results - page 22 / 460
» The Expressive Power of Synchronizations
Sort
View
NJC
2006
59views more  NJC 2006»
15 years 3 months ago
On the Expressive Power of the Loop Language
Tristan Crolard, Samuel Lacas, Pierre Valarcher
101
Voted
JACM
1998
82views more  JACM 1998»
15 years 3 months ago
Relational Expressive Power of Constraint Query Languages
Michael Benedikt, Guozhu Dong, Leonid Libkin, Lims...
139
Voted
IANDC
2010
132views more  IANDC 2010»
15 years 1 months ago
The expressive power of the shuffle product
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
Jean Berstel, Luc Boasson, Olivier Carton, Jean-Er...
111
Voted
DAM
2011
14 years 10 months ago
On the expressive power of CNF formulas of bounded tree- and clique-width
Irénée Briquel, Pascal Koiran, Klaus...
TOCL
2012
233views Formal Methods» more  TOCL 2012»
13 years 6 months ago
On the Expressive Power of Multiple Heads in CHR
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiar...