( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Temporal × Modal Approach to the Definability of Properties of Functions.

, и . FroCoS, том 2309 из Lecture Notes in Computer Science, стр. 239-254. Springer, (2002)

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.

Alfredo Cervera

Alfredo Märker

Alfredo Ibáñez

Alfredo Palma

Alfredo Bergés

 

Другие публикации лиц с тем же именем

A Temporal × Modal Approach to the Definability of Properties of Functions., и . FroCoS, том 2309 из Lecture Notes in Computer Science, стр. 239-254. Springer, (2002)MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies., , , , и . IBERAMIA-SBIA, том 4140 из Lecture Notes in Computer Science, стр. 602-611. Springer, (2006)A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance., , и . CAEPIA, том 4788 из Lecture Notes in Computer Science, стр. 210-219. Springer, (2007)Completeness of a functional system for surjective functions., , и . Math. Log. Q., 63 (6): 574-597 (2017)Basic Beliefs and Argument-Based Beliefs in Awareness Epistemic Logic with Structured Arguments., и . COMMA, том 326 из Frontiers in Artificial Intelligence and Applications, стр. 123-134. IOS Press, (2020)Relational Approach to Order-of-Magnitude Reasoning., , и . Theory and Applications of Relational Structures as Knowledge Instruments, том 4342 из Lecture Notes in Computer Science, Springer, (2006)An Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics., и . TARK, том 335 из EPTCS, стр. 69-83. (2021)A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning., , и . IBERAMIA, том 5290 из Lecture Notes in Computer Science, стр. 11-20. Springer, (2008)Indexed Flows in Temporal x Modal Logic with Functional Semantics., , и . TIME, стр. 146-153. IEEE Computer Society, (2002)Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL., , и . CAEPIA, том 5988 из Lecture Notes in Computer Science, стр. 71-80. Springer, (2009)