( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Intensional Implementation for Lazy Functional Languages.

, , , и . Math. Comput. Sci., 2 (1): 123-141 (2008)

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.

Ara Panosyan

Ara Panosyan

Anja Panosch

Martin Panosch

Panos Meletis

 

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

Minimum model semantics for logic programs with negation-as-failure., и . ACM Trans. Comput. Log., 6 (2): 441-467 (2005)Extensional Higher-Order Logic Programming, , , и . CoRR, (2011)Well-Founded Semantics for Boolean Grammars., , и . Developments in Language Theory, том 4036 из Lecture Notes in Computer Science, стр. 203-214. Springer, (2006)Cactus: A Branching-Time Logic Programming Language., , и . ECSQARU-FAPR, том 1244 из Lecture Notes in Computer Science, стр. 511-524. Springer, (1997)An Infinite-Valued Semantics for Logic Programs with Negation., и . JELIA, том 2424 из Lecture Notes in Computer Science, стр. 456-467. Springer, (2002)Extensional Semantics for Higher-Order Logic Programs with Negation., и . JELIA, том 10021 из Lecture Notes in Computer Science, стр. 447-462. (2016)Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective., , и . Theory Pract. Log. Program., 22 (5): 708-722 (2022)On the expressive power of univariate equations over sets of natural numbers., и . Inf. Comput., (2012)Stratified negation in temporal logic programming and the cycle-sum test.. Theor. Comput. Sci., 254 (1-2): 663-676 (2001)The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs., и . CoRR, (2017)