Jan Bergstra
Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Jan A. Bergstra', query time: 0.02s
Refine Results
-
1
Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers by Jan A. Bergstra
Published 2019-09-01
Article -
2
Datatype defining rewrite systems for naturals and integers by Jan A. Bergstra, Alban Ponse
Published 2021-02-01
Article -
3
A Short Introduction to Program Algebra with Instructions for Boolean Registers by Jan A. Bergstra, Cornelis A. Middelburg
Published 2018-11-01
Article