Mathematical Logic for Computer Science
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer London

9781447141280, 9781447141297

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Temporal Logic: Formulas, Models, Tableaux

Mathematical Logic for Computer Science ◽

10.1007/978-1-4471-4129-7_13 ◽

2012 ◽

pp. 231-262

Author(s):

Mordechai Ben-Ari

Keyword(s):

Temporal Logic

Download Full-text

Introduction

Mathematical Logic for Computer Science ◽

10.1007/978-1-4471-4129-7_1 ◽

2012 ◽

pp. 1-6

Author(s):

Mordechai Ben-Ari

Download Full-text

First-Order Logic: Formulas, Models, Tableaux

Mathematical Logic for Computer Science ◽

10.1007/978-1-4471-4129-7_7 ◽

2012 ◽

pp. 131-154

Author(s):

Mordechai Ben-Ari

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Temporal Logic: A Deductive System

Mathematical Logic for Computer Science ◽

10.1007/978-1-4471-4129-7_14 ◽

2012 ◽

pp. 263-272

Author(s):

Mordechai Ben-Ari

Keyword(s):

Temporal Logic ◽

Deductive System

Download Full-text

Propositional Logic: Formulas, Models, Tableaux

Mathematical Logic for Computer Science ◽

10.1007/978-1-4471-4129-7_2 ◽

2012 ◽

pp. 7-47 ◽

Cited By ~ 2

Author(s):

Mordechai Ben-Ari

Keyword(s):

Propositional Logic

Download Full-text

Verification of Sequential Programs

Mathematical Logic for Computer Science ◽

10.1007/978-1-4471-4129-7_15 ◽

2012 ◽

pp. 273-295

Author(s):

Mordechai Ben-Ari

Keyword(s):

Sequential Programs

Download Full-text

First-Order Logic: Logic Programming

Mathematical Logic for Computer Science ◽

10.1007/978-1-4471-4129-7_11 ◽

2012 ◽

pp. 205-222

Author(s):

Mordechai Ben-Ari

Keyword(s):

Logic Programming ◽

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Propositional Logic: Resolution

Mathematical Logic for Computer Science ◽

10.1007/978-1-4471-4129-7_4 ◽

2012 ◽

pp. 75-93

Author(s):

Mordechai Ben-Ari

Keyword(s):

Propositional Logic

Download Full-text

First-Order Logic: Resolution

Mathematical Logic for Computer Science ◽

10.1007/978-1-4471-4129-7_10 ◽

2012 ◽

pp. 185-203

Author(s):

Mordechai Ben-Ari

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Propositional Logic: Deductive Systems

Mathematical Logic for Computer Science ◽

10.1007/978-1-4471-4129-7_3 ◽

2012 ◽

pp. 49-73

Author(s):

Mordechai Ben-Ari

Keyword(s):

Propositional Logic ◽

Deductive Systems

Download Full-text