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

2013 ◽  
pp. 57-86
Author(s):  
Faron Moller ◽  
Georg Struth

Propositional Logic

2013 ◽  
pp. 17-55
Author(s):  
Faron Moller ◽  
Georg Struth
Keyword(s):  
Propositional Logic

Temporal Properties

2013 ◽  
pp. 381-403
Author(s):  
Faron Moller ◽  
Georg Struth
Keyword(s):  
Temporal Properties

Concurrent Processes

2013 ◽  
pp. 357-379
Author(s):  
Faron Moller ◽  
Georg Struth
Keyword(s):  
Concurrent Processes

Proofs by Induction

2013 ◽  
pp. 223-250
Author(s):  
Faron Moller ◽  
Georg Struth

Introduction

2013 ◽  
pp. 1-14
Author(s):  
Faron Moller ◽  
Georg Struth

Relations

2013 ◽  
pp. 179-199 ◽  
Author(s):  
Faron Moller ◽  
Georg Struth

Predicate Logic

2013 ◽  
pp. 109-129
Author(s):  
Faron Moller ◽  
Georg Struth
Keyword(s):  
Predicate Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document