Compositional semantics for unmarked predicate/transition nets

被引：0
|
作者：
Schettini, A.Maggiolo [1 ]
Pina, G.M. [1 ]
Winkowski, J. [1 ]
机构：
[1] Universita di Pisa, Pisa, Italy
来源：
Fundamenta Mathematicae | 1991年 / 14卷 / 01期
关键词：
17;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：109 / 128
相关论文
共 50 条
  • [41] Deriving protocol specifications from service specifications written as Predicate/Transition-nets
    Yamaguchi, Hirozumi
    El-Fakih, Khaled
    Bochmann, Gregor v.
    Higashino, Teruo
    COMPUTER NETWORKS, 2007, 51 (01) : 258 - 284
  • [42] Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets
    Varpaaniemi, Kimmo
    Ojala, Leo
    FUNDAMENTA INFORMATICAE, 2008, 85 (1-4) : 465 - 479
  • [43] A model-based approach for testing GUI using hierarchical predicate transition nets
    Reza, Hassan
    Endapally, Sandeep
    Grant, Emanuel
    INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 366 - +
  • [44] USING PREDICATE-TRANSITION-NETS TO MODEL AND ANALYZE DISTRIBUTED DATABASE-SYSTEMS
    VOSS, K
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (06) : 539 - 544
  • [45] The interaction of compositional semantics and event semantics
    Lucas Champollion
    Linguistics and Philosophy, 2015, 38 : 31 - 66
  • [46] The interaction of compositional semantics and event semantics
    Champollion, Lucas
    LINGUISTICS AND PHILOSOPHY, 2015, 38 (01) : 31 - 66
  • [47] THE SEMANTICS OF CASE IN RUSSIAN PREDICATE COMPLEMENTS
    TIMBERLAKE, A
    RUSSIAN LINGUISTICS, 1986, 10 (02) : 137 - 165
  • [48] PropBank: Semantics of New Predicate Types
    Bonial, Claire
    Bonn, Julia
    Conger, Kathryn
    Hwang, Jena D.
    Palmer, Martha
    LREC 2014 - NINTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, 2014, : 3013 - 3019
  • [49] ALGEBRAIC SEMANTICS FOR MODAL PREDICATE LOGIC
    FREEMAN, JB
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (06): : 523 - 552
  • [50] On Reduced Semantics for Fuzzy Predicate Logics
    Dellunde, Pilar
    PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE, 2009, : 414 - 419
12345