Undergraduate Topics in Computer Science - Modelling Computing Systems
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer London

9781848003217, 9781848003224

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sets

Undergraduate Topics in Computer Science - Modelling Computing Systems ◽

10.1007/978-1-84800-322-4_3 ◽

2013 ◽

pp. 57-86

Author(s):

Faron Moller ◽

Georg Struth

Download Full-text

Propositional Logic

Undergraduate Topics in Computer Science - Modelling Computing Systems ◽

10.1007/978-1-84800-322-4_2 ◽

2013 ◽

pp. 17-55

Author(s):

Faron Moller ◽

Georg Struth

Keyword(s):

Propositional Logic

Download Full-text

Temporal Properties

Undergraduate Topics in Computer Science - Modelling Computing Systems ◽

10.1007/978-1-84800-322-4_16 ◽

2013 ◽

pp. 381-403

Author(s):

Faron Moller ◽

Georg Struth

Keyword(s):

Temporal Properties

Download Full-text

Concurrent Processes

Undergraduate Topics in Computer Science - Modelling Computing Systems ◽

10.1007/978-1-84800-322-4_15 ◽

2013 ◽

pp. 357-379

Author(s):

Faron Moller ◽

Georg Struth

Keyword(s):

Concurrent Processes

Download Full-text

Proofs by Induction

Undergraduate Topics in Computer Science - Modelling Computing Systems ◽

10.1007/978-1-84800-322-4_10 ◽

2013 ◽

pp. 223-250

Author(s):

Faron Moller ◽

Georg Struth

Download Full-text

Introduction

Undergraduate Topics in Computer Science - Modelling Computing Systems ◽

10.1007/978-1-84800-322-4_1 ◽

2013 ◽

pp. 1-14

Author(s):

Faron Moller ◽

Georg Struth

Download Full-text

Inductive and Recursive Definitions

Undergraduate Topics in Computer Science - Modelling Computing Systems ◽

10.1007/978-1-84800-322-4_9 ◽

2013 ◽

pp. 201-222

Author(s):

Faron Moller ◽

Georg Struth

Keyword(s):

Recursive Definitions

Download Full-text

Relations

Undergraduate Topics in Computer Science - Modelling Computing Systems ◽

10.1007/978-1-84800-322-4_8 ◽

2013 ◽

pp. 179-199 ◽

Cited By ~ 1

Author(s):

Faron Moller ◽

Georg Struth

Download Full-text

Logical Properties of Processes

Undergraduate Topics in Computer Science - Modelling Computing Systems ◽

10.1007/978-1-84800-322-4_14 ◽

2013 ◽

pp. 333-356

Author(s):

Faron Moller ◽

Georg Struth

Download Full-text

Predicate Logic

Undergraduate Topics in Computer Science - Modelling Computing Systems ◽

10.1007/978-1-84800-322-4_5 ◽

2013 ◽

pp. 109-129

Author(s):

Faron Moller ◽

Georg Struth

Keyword(s):

Predicate Logic

Download Full-text