Describing Graphs: A First-Order Approach to Graph Canonization

1990/01/01 by Neil Immerman, Eric S. Lander, Eric Lander · 1 citation
Computer Science · Engineering · #Advanced Graph Theory Research #Formal Methods in Verification #VLSI and FPGA Design Techniques

paper · doi:10.1007/978-1-4612-4478-3_5

crossref issued 1990/01/01 · crossref published 1990/01/01 · crossref published-print 1990/01/01 · openalex publication_date 1990/01/01 · crossref created 2011/10/11 · crossref deposited 2021/05/01 · openalex created_date 2025/10/10 · crossref indexed 2026/04/02 · openalex updated_date 2026/08/04

Citations

• Elementary Induction on Abstract Structures
• Languages that Capture Complexity Classes
• Nondeterministic Space is Closed under Complementation
• Number of quantifiers is better than number of tape cells
• Probabilities on finite models

Cited by

• Logic of graphs [wikipedia]