| Year | 2011 |
|---|---|
| Type | Talk |
| Status | Published |
| Authors | Dorel Lucanu, Grigore Rosu |
Links
Abstract
Circular Behavioral Reasoning
BibTeX
@Talk{name,
author = {D. Lucanu and G. Rosu},
title = {Circular Behavioral Reasoning },
institution = {Centrum Wiskunde & Informatica (CWI)},
year = {2011},
month = {November},
url = {http://www.cwi.nl/events/lectures-dexter-kozen-and-dorel-lucanu [CWI]}
}