Pronađeno: 1-2 / 2 radova

Autori: Palmigiano Alessandra

>> Filter: Samo Article i Review

>> Sve godine

Naslov Multi-type display calculus for dynamic epistemic logic (Article; Proceedings Paper)
Autori Frittella Sabine Greco Giuseppe Kurz Alexander Palmigiano Alessandra Sikimic Vlasta J  
Info JOURNAL OF LOGIC AND COMPUTATION, (2016), vol. 26 br. 6, str. 2017-2065
Projekat NWO Vidi grant [016.138.314]; NWO Aspasia grant [015.008.054]; Delft Technology Fellowship
Ispravka Web of Science   Članak   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
Naslov A proof-theoretic semantic analysis of dynamic epistemic logic (Article; Proceedings Paper)
Autori Frittella Sabine Greco Giuseppe Kurz Alexander Palmigiano Alessandra Sikimic Vlasta J  
Info JOURNAL OF LOGIC AND COMPUTATION, (2016), vol. 26 br. 6, str. 1961-2015
Projekat NWO Vidi [016.138.314]; NWO Aspasia [015.008.054]; Delft Technology Fellowship
Ispravka Web of Science   Članak   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
>> Sve godine

Ispis zapisa u formatu:TXT | BibTeX