The Complexity of Combinatorial Computations: An Introduction

Authors:
Leslie G. Valiant
Affiliations:
-
Venue:
GI - 8. Jahrestagung
Year:
1978

Citing 0
Cited 2

Generalized Model-Checking Problems for First-Order Logic

STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Generalized Model-Checking over Locally Tree-Decomposable Classes

STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract