( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computable Kripke Models and Intermediate Logics.

, , и . Inf. Comput., 143 (2): 205-230 (1998)

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.

Ata Anil

Anil Bhatti

Anil Jain

Anil Jain

Anil Kottantharayil

 

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

Normal forms and syntactic completeness proofs for functional independencies., , , и . Theor. Comput. Sci., 266 (1-2): 365-405 (2001)In Memoriam: Hartley Rogers, Jr. 1926-2015.. Bull. Symb. Log., 22 (2): 294-297 (2016)The Notion of Rank and Games., и . LFCS, том 813 из Lecture Notes in Computer Science, стр. 204-217. Springer, (1994)Special Issue on Logical Foundations of Computer Science., и . J. Log. Comput., 30 (1): 1 (2020)Complexity of Recursive Normal Default Logic., , и . Fundam. Informaticae, 32 (2): 139-147 (1997)Topological Semantics for Hybrid Systems., , и . LFCS, том 1234 из Lecture Notes in Computer Science, стр. 1-8. Springer, (1997)McNaughton Games and Extracting Strategies for Concurrent Programs., , и . Ann. Pure Appl. Log., 78 (1-3): 203-242 (1996)Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma., и . Ann. Pure Appl. Log., 78 (1-3): 127-146 (1996)Tableaux for constructive concurrent dynamic logic., и . Ann. Pure Appl. Log., 135 (1-3): 1-72 (2005)Generic objects in recursion theory II: Operations on recursive approximation spaces., и . Ann. Pure Appl. Log., (1986)