About “trivial” software patents: the IsNot case Jan A. Bergstra♣ ♣ Paul Klint♠

Source URL: homepages.cwi.nl

arXiv:1504.07184v1 [cs.CY] 27 AprArchitectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money Jan A. Bergstra Informatics Institute, Faculty of Sciences, University of Ams

Source URL: www.bitcoinwednesday.com

On system rollback and totalised fields An algebraic approach to system change Mark Burgess and Alva Couch 20th June 2011 This paper is dedicated to Jan Bergstra on the occasion of his 60th birthday.

Source URL: markburgess.org

• Finite-state machine
• Computing
• Mathematics
• Deterministic pushdown automaton
• Automata theory
• Models of computation
• Nondeterministic finite automaton

arXiv:1406.6878v2 [math.RA] 22 Dec[removed]Division by Zero in Common Meadows∗ Jan A. Bergstra and Alban Ponse Section Theory of Computer Science Informatics Institute, Faculty of Science

Source URL: arxiv.org

• Functions and mappings
• Function
• Sheaf
• Independence
• Inverse function
• Mathematics
• Abstract algebra
• Mathematical logic

JOHN V TUCKER CLASSIFIED LIST OF PUBLICATIONS March 2013 My research publications can be classified under the following headings: Books Surveys

Source URL: www-compsci.swan.ac.uk

• John V. Tucker
• Computer science
• Mathematics
• Theory of computation
• Computability theory
• Jan Bergstra
• Viggo Stoltenberg-Hansen
• Fellows of the British Computer Society
• Theoretical computer science
• Alumni of the University of Bristol

doi:[removed]j.entcs[removed]

Source URL: www.win.tue.nl

• Jan Bergstra
• Process calculus
• Algebra of Communicating Processes
• Abstract algebra
• Computer science
• Communicating sequential processes
• Algebraic logic
• Axiom
• Algebra
• Process calculi
• Computing
• Software