Computer Science Logic
From MaRDI portal
Publication:5292624
DOI10.1007/b13224zbMath1116.03313OpenAlexW2623947920MaRDI QIDQ5292624
Jaroslav Nešetřil, Manuel Bodirsky
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b13224
Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35)
Related Items
Tension continuous maps -- their structure and applications ⋮ Homogeneous and strictly homogeneous criteria for partial structures ⋮ Determining the consistency of partial tree descriptions ⋮ Constraint Satisfaction Problems with Infinite Templates