EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Bxx General logic
03B70 Logic in computer science

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 2 of 2

Relational specifications

Rudolf Berghammer, Gunther Schmidt (1993)

Banach Center Publications

Resolution Methods in Proving the Program Correctness

Branko Markoski, Petar Hotomski, Dušan Malbaški, Danilo Obradović (2007)

The Yugoslav Journal of Operations Research

Currently displaying 1 – 2 of 2

Page 1