BOOK-CHAPTER
First-order logic and its extensions
Year: 2006 Lecture notes in mathematics Pages: 248-310 Publisher: Springer Nature
Keywords:
Order (exchange) Computer science Mathematics Programming language Business
Metrics
43
Cited By
0.31
FWCI (Field Weighted Citation Impact)
24
Refs
0.51
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Computability, Logic, AI Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
semigroups and automata theory
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
BOOK-CHAPTER
Extensions of First-Order Logic
H.‐D. EbbinghausJ. FlumW. Thomas
Year: 1994 Pages: 137-149
JOURNAL ARTICLE
Extensions of first order logic
Journal: Computers & Mathematics with Applications Year: 1996 Vol: 32 (6)Pages: 134-134
BOOK-CHAPTER
Extensions of First-Order Logic
Heinz-Dieter EbbinghausJörg FlumWolfgang Thomas
Graduate texts in mathematics Year: 2021 Pages: 133-145
JOURNAL ARTICLE
Extensions of First-Order Logic, Maria Manzano
Journal: Journal of Logic Language and Information Year: 1998 Vol: 7 (3)Pages: 389-391