bibliographer - Jean H. Gallier

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

What's so special about Kruskal's theorem and the ordinal Gamma A survey of some results in proof theory Jean H. Gallier [github]

Ann. Pure Appl. Logic: Erratum to ``What's so special about Kruskal's theorem and the ordinal Gamma0 A survey of some results in proof theory'' Jean H. Gallier [github]

Nondeterministic flowchart programs with recursive procedures: Semantics and correctness II Jean H. Gallier [github]

Linear-time algorithms for testing the satisfiability of propositional horn formulae William F. Dowling Jean H. Gallier [github]

Recursion schemes and generalized interpretations Jean H. Gallier [github]

Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence Val Tannen Jean H. Gallier [github]

Tree pushdown automata Karl M. Schimpf Jean H. Gallier [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]