Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bergstra, J.A
1105  Ergebnisse:
Personensuche X
?
1

Algebraic and Logic Programming 

Proceedings of an International Workshop held in Gaussig (G...  Mathematical Research ; 49, Mathematische Forschung
Beierle, Christoph ; Bergstra, J.A ; Bockmayr, Alexander... - Reprint 2022 . , [2022]
Link: https://doi.org/10.1515/..
 
?
2

Using Hoare Logic in a Process Algebra Setting:

Bergstra, J.A. ; Middelburg, C.A.
Fundamenta Informaticae.  179 (2021)  4 - p. 321-344 , 2021
Link: https://doi.org/10.3233/..
 
?
3

Mitral regurgitation: when to intervene?: A historical pers..:

Bergstra, A. ; Simsek, C. ; van den Heuvel, A. F. M.
Netherlands Heart Journal.  28 (2020)  5 - p. 266-271 , 2020
Link: https://doi.org/10.1007/..
 
?
4

On the complexity of the correctness problem for non-zerone..:

Bergstra, J.A. ; Middelburg, C.A.
Theoretical Computer Science.  802 (2020)  - p. 1-18 , 2020
Link: https://doi.org/10.1016/..
 
?
5

The effect of industry-related air pollution on lung functi..:

A, Bergstra ; B, Brunekreef ; A, Burdorf
Environmental Epidemiology.  3 (2019)  Supplement 1 - p. 27-28 , 2019
Link: https://doi.org/10.1097/..
 
?
6

Process Algebra with Strategic Interleaving:

Bergstra, J. A. ; Middelburg, C. A.
Theory of Computing Systems.  63 (2018)  3 - p. 488-505 , 2018
Link: https://doi.org/10.1007/..
 
?
7

Transformation of fractions into simple fractions in divisi..:

Bergstra, J.A. ; Middelburg, C.A.
Journal of Applied Logic.  16 (2016)  - p. 92-110 , 2016
Link: https://doi.org/10.1016/..
 
?
8

Kurt Mehlhorn on his being Awarded the 2014 Erasmus Medal a..:

Bergstra, J.A.
European Review.  24 (2016)  1 - p. 1-3 , 2016
Link: https://doi.org/10.1017/..
 
?
9

Division by zero in non-involutive meadows:

Bergstra, J.A. ; Middelburg, C.A.
Journal of Applied Logic.  13 (2015)  1 - p. 1-12 , 2015
Link: https://doi.org/10.1016/..
 
?
10

A Process Calculus with Finitary Comprehended Terms:

Bergstra, J. A. ; Middelburg, C. A.
Theory of Computing Systems.  53 (2013)  4 - p. 645-668 , 2013
Link: https://doi.org/10.1007/..
 
?
11

Instruction sequence processing operators:

Bergstra, J. A. ; Middelburg, C. A.
Acta Informatica.  49 (2012)  3 - p. 139-172 , 2012
Link: https://doi.org/10.1007/..
 
?
12

Guest Editorial:

Bergstra, J. ; Blanck, J. ; Moller, F..
The Computer Journal.  56 (2012)  1 - p. 2-2 , 2012
Link: https://doi.org/10.1093/..
 
?
13

Cancellation Meadows: A Generic Basis Theorem and Some Appl..:

Bergstra, J. A. ; Bethke, I. ; Ponse, A.
The Computer Journal.  56 (2012)  1 - p. 3-14 , 2012
Link: https://doi.org/10.1093/..
 
?
14

Thread algebra for poly-threading:

Bergstra, J. A. ; Middelburg, C. A.
Formal Aspects of Computing.  23 (2011)  4 - p. 567-583 , 2011
Link: https://doi.org/10.1007/..
 
?
15

Inversive meadows and divisive meadows:

Bergstra, J.A. ; Middelburg, C.A.
Journal of Applied Logic.  9 (2011)  3 - p. 203-220 , 2011
Link: https://doi.org/10.1016/..
 
1-15