Computation Engineering
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer US

9780387244181

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dealing with Recursion

Computation Engineering ◽

10.1007/0-387-32520-4_6 ◽

2006 ◽

pp. 93-104

Download Full-text

Model Checking: Basics

Computation Engineering ◽

10.1007/0-387-32520-4_21 ◽

2006 ◽

pp. 381-398

Keyword(s):

Download Full-text

Mathematical Logic, Induction, Proofs

Computation Engineering ◽

10.1007/0-387-32520-4_5 ◽

2006 ◽

pp. 73-92

Keyword(s):

Mathematical Logic ◽

Induction Proofs

Download Full-text

Mathematical Preliminaries

Computation Engineering ◽

10.1007/0-387-32520-4_2 ◽

2006 ◽

pp. 15-36

Download Full-text

Binary Relations

Computation Engineering ◽

10.1007/0-387-32520-4_4 ◽

2006 ◽

pp. 53-71

Keyword(s):

Binary Relations

Download Full-text

Strings and Languages

Computation Engineering ◽

10.1007/0-387-32520-4_7 ◽

2006 ◽

pp. 105-117

Download Full-text

Basic Notions in Logic including SAT

Computation Engineering ◽

10.1007/0-387-32520-4_18 ◽

2006 ◽

pp. 323-344

Download Full-text

Cardinalities and Diagonalization

Computation Engineering ◽

10.1007/0-387-32520-4_3 ◽

2006 ◽

pp. 37-51

Download Full-text

Push-down Automata and Context-free Grammars

Computation Engineering ◽

10.1007/0-387-32520-4_14 ◽

2006 ◽

pp. 245-270

Keyword(s):

Push Down ◽

Context Free ◽

Context Free Grammars

Download Full-text

DFA for Presburger Arithmetic

Computation Engineering ◽

10.1007/0-387-32520-4_20 ◽

2006 ◽

pp. 369-380

Keyword(s):

Presburger Arithmetic

Download Full-text