TI

Texts in theoretical computer science

Source

Springer Nature

368

Publications

6,222

Citations

Loading papers...

Search by keywords

Filter by Type

Book Chapter (338)
Book (29)
Preprint (1)

Filter by Open Access Type

Open Access (3)
Closed Access (365)

Filter by Authors

Stasys Jukna (61)
Juraj Hromkovic̆ (30)
Ofer Strichman (24)
Daniel Kroening (24)
Yves Bertot (17)

Filter by Topics

Computability, Logic, AI Algorithms (79)
Logic, programming, and type systems (54)
Formal Methods in Verification (42)
Logic, Reasoning, and Knowledge (41)
Advanced Graph Theory Research (28)