Citation Details

Chapter

Complexity of formula classes in first order logic with functions

Fundamentals of Computation Theory, 1989, Volume 380

ISBN : 978-3-540-51498-5

Erich Grädel
Read Online

2 Items cite this Chapter

Page: 1
0citations

Chapter

Logic, Language, Information, and Computation

Luis Henrique Bustamante, Ana Teresa Martins and Francicleber Ferreira Martins

Series: Lecture Notes in Computer Science, Year: 2018, Volume 10944, Page 163

DOI: 10.1007/978-3-662-57669-4_9

Read Online
152citations

Article

On the Decision Problem for Two-Variable First-Order Logic

Erich Grädel, Phokion G. Kolaitis and Moshe Y. Vardi

Journal: Bulletin of Symbolic Logic, 1997, Volume 3, Number 1, Page 53

DOI: 10.2307/421196

Read Online
2
Items cite this Chapter
144
Items cite entire book

citation rank

57th
percentile

Citations per year

19972018

citing journals

citing books