392 citations
- University of AmsterdamNL18 papers
- National Institute for Subatomic PhysicsNL11 papers
- A. Alikhanyan National LaboratoryAM9 papers
- Argonne National LaboratoryUS9 papers
- University of Colorado BoulderUS7 papers
- University of Illinois Urbana-ChampaignUS7 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Istituto Nazionale di Fisica NucleareIT6 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT6 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di FerraraIT6 papers
- Istituto Superiore di SanitàIT6 papers
- Joint Institute for Nuclear ResearchRU6 papers
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2009
Degrees of Undecidability in Rewriting
Joerg Endrullis, Herman Geuvers, Hans Zantema
Undecidability of various properties of first order term rewriting systems is well-known. An undecidable property can be classified by the complexity of the formula defining it. Th…
cs.LO2008
On Finite Bases for Weak Semantics: Failures versus Impossible Futures
Taolue Chen, Wan Fokkink, Rob van Glabbeek
We provide a finite basis for the (in)equational theory of the process algebra BCCS modulo the weak failures preorder and equivalence. We also give positive and negative results re…
cs.LO2008★ 6 cited
Data-Oblivious Stream Productivity
Joerg Endrullis, Clemens Grabmayer, Dimitri Hendriks
We are concerned with demonstrating productivity of specifications of infinite streams of data, based on orthogonal rewrite rules. In general, this property is undecidable, but for…