| Year | 2012 |
|---|---|
| Type | Talk |
| Status | Published |
| Authors | Dorel Lucanu |
Links
Abstract
K Definitions as Push-down Specifications
BibTeX
@Talk{name,
author = {D. Lucanu},
title = {K Definitions as Push-down Specifications},
institution = {Action IC0701, 9th MC and WG Meeting, Darmstadt, Germany},
year = {2012},
url = {http://www.cost-ic0701.org/meetings/9th-mc-and-wg-meeting-darmstadt-germany-february-29-march-2-2012 [IC0701}
}