Tom Maibaum

Known as: Maibaum 
Thomas Stephen Edward Maibaum FRSA (born 18 August 1947 in Hungary) is a computer scientist. Maibaum has an undergraduate degree in Pure Mathematics… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The aim of this article is to provide a metalogical systematization in the area of deontic action logic based on Boolean algebra… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
This chapter describes the Peer2Me mobile peer-to-peer framework, Peer2Me applications, and experiences from using the Peer2Me… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
2005
2005
The verified software repository is dedicated to a long-term vision of a future in which all computer systems justify the trust… (More)
Is this relevant?
Review
2005
Review
2005
To err is human. Having erred what do you do next? Deontic logic provides a formal setting for investigating this question. These… (More)
Is this relevant?
2002
2002
SequentialList LinkedList extends extends extends Collection interface List interface Set interface extends extends… (More)
Is this relevant?
1999
1999
Software Speci cation, pages 292{332. Springer, 1980. Lecture Notes in Computer Science, Volume 86. [6] Robert L. Carpenter. The… (More)
Is this relevant?
1998
1998
Algebraic Logic ............................................................................................... 8 Don Pigozzi… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
perspective, labels represent an extra `informational resource' which is present in deduction and can play a variety of roles… (More)
Is this relevant?
1994
1994
Modern database applications require advanced means for modelling system structure and dynamics. Temporal logic has been proven… (More)
Is this relevant?
1993
1993
ion, compute a type for its body in an extended context; to compute a type for an application, compute types for its left and… (More)
Is this relevant?