Molecular dynamics

Journal of Logic and Algebraic Programming

Volumn 51, Issue 2, 2002, Pages 193-214

  Bergstra, J A ^a,b   Bethke, I ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Molecular dynamics; Object oriented programming; Program algebra

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; DATA STORAGE EQUIPMENT; MATHEMATICAL MODELS; MOLECULAR DYNAMICS;

PROGRAM ALGEBRA;

OBJECT ORIENTED PROGRAMMING;

EID: 0036604350     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1567-8326(02)00021-8     Document Type: Article

References (6)

1. A propositional logic with 4 values: True, false, divergent and meaningless
2. Program algebra for component code
3. Program algebra for component code
4. On a notation for ordinal numbers