LICS 2000 - PDF Preprint Papers

LICS 2000 Symposium on Logic in Computer Science

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LICS-2000 Paper

click to vote

LICS
2000
IEEE

179views Automated Reasoning» more LICS 2000»

Computational Complexity of Some Problems Involving Congruences on Algebras

14 years 3 months ago

Download orion.math.iastate.edu

We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...

Clifford Bergman, Giora Slutzki

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	179	Computational Complexity of Some Problems Involving Congruences on Algebras	claim
2	139	Complete Axioms for Categorical Fixed-Point Operators	claim
3	134	The Role of Decidability in First Order Separations over Classes of Finite Structures	claim
4	130	Virtual Symmetry Reduction	claim
5	129	Concurrent Omega-Regular Games	claim
6	119	A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names	claim
7	113	View-Based Query Processing and Constraint Satisfaction	claim
8	106	A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping	claim
9	106	Assigning Types to Processes	claim
10	104	Precongruence Formats for Decorated Trace Preorders	claim
11	98	Game Semantics and Subtyping	claim
12	93	Efficient and Flexible Matching of Recursive Types	claim
13	90	Imperative Programming with Dependent Types	claim
14	85	Resource-Bounded Continuity and Sequentiality for Type-Two Functionals	claim
15	83	Automatic Structures	claim
16	79	Models for Name-Passing Processes: Interleaving and Causal	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers