Theoretical Computer Science, Volume 415
Volume 415, January 2012
Norihiro Kamide, Heinrich Wansing: Proof theory of Nelson's paraconsistent logic: A uniform perspective. 1-38- Marius Petria: Generic constructions for behavioral specifications. 39-59
- Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang: The loop formula based semantics of description logic programs. 60-85
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team