Roger Klausen

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995

1 Roger Klausen, Henryk Jan Komorowski: Omega-Perfect Semantics for Inductive Synthesis, Refinement Calculus and Update of Logic Programs. WOCFAI 1995: 181-192

1995
1		Roger Klausen, Henryk Jan Komorowski: Omega-Perfect Semantics for Inductive Synthesis, Refinement Calculus and Update of Logic Programs. WOCFAI 1995: 181-192

Coauthor Index

1 Henryk Jan Komorowski [1]