Author of the publication

Proof Theory, Semantics and Algebra for Normative Systems.

. LORI, volume 8196 of Lecture Notes in Computer Science, page 228-238. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The critical isotherm of the modified F model, and . Physica A: Statistical and Theoretical Physics, 106 (1-2): 292--300 (March 1981)Minimizing network complexity through integrated top-down design., and . CoNEXT, page 259-270. ACM, (2013)Norm-based deontic logic for access control, some computational results., , and . Future Gener. Comput. Syst., (2018)Robust object tracking based on sparse representation., , , and . VCIP, volume 7744 of SPIE Proceedings, page 77441N. SPIE, (2010)Computational Complexity of Input/Output Logic., and . MIWAI, volume 9426 of Lecture Notes in Computer Science, page 72-79. Springer, (2015)Extraction of micro-Doppler signal based on the combination of CLEAN and L-statistics method., , , and . IGARSS, page 2707-2710. IEEE, (2016)Numerical model of a novel tactile sensor based on finite element analysis., , , , , , , and . ROBIO, page 1973-1978. IEEE, (2012)Conditional Ought, a Game Theoretical Perspective.. LORI, volume 6953 of Lecture Notes in Computer Science, page 356-369. Springer, (2011)LibriVoxDeEn: A Corpus for German-to-English Speech Translation and Speech Recognition., , , and . CoRR, (2019)Optimization of MWCNTs/Epoxy for High Strain Sensor Performance., , and . SSD, page 125-130. IEEE, (2019)