GOFFIN: Higher-order functions meet concurrent constraints

被引：0
|
作者：
Technische Universitaet Berlin, Berlin, Germany [1 ]
机构：
来源：
Sci Comput Program | / 1-2卷 / 157-199期
关键词：
* Corresponding author. E-mail: chak@cs.tu-bel-lin.de. ’ Partially supported by EPSRC; UK: project D&~itiuwl Loyicull~~ Correct Concrrrrrnt SJxtenu (GR/H 77547);
D O I：
暂无
中图分类号：
学科分类号：
摘要：
36
引用
收藏
相关论文
共 50 条
  • [31] COMPUTATIONS OF HILL FUNCTIONS OF HIGHER-ORDER
    JERRI, AJ
    MATHEMATICS OF COMPUTATION, 1977, 31 (138) : 481 - 484
  • [32] BAZILEVIC-FUNCTIONS OF HIGHER-ORDER
    NASR, MA
    REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES, 1983, 28 (08): : 709 - 714
  • [33] PERTURBATIVE HAMILTONIAN CONSTRAINTS FOR HIGHER-ORDER THEORIES
    Martinez, S. A.
    Montemayor, R.
    Urrutia, L. F.
    INTERNATIONAL JOURNAL OF MODERN PHYSICS A, 2011, 26 (26): : 4661 - 4686
  • [34] Higher-order discrete variational problems with constraints
    Colombo, Leonardo
    Martin de Diego, David
    Zuccalli, Marcela
    JOURNAL OF MATHEMATICAL PHYSICS, 2013, 54 (09)
  • [35] Intermediate Systems and Higher-Order Differential Constraints
    Kaptsov, Oleg V.
    JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2018, 11 (05): : 550 - 560
  • [36] HIGHER-ORDER DERIVATIVE CONSTRAINTS IN QUALITATIVE SIMULATION
    KUIPERS, BJ
    CHIU, C
    MOLLE, DTD
    THROOP, DR
    ARTIFICIAL INTELLIGENCE, 1991, 51 (1-3) : 343 - 379
  • [37] Higher-order symmetric duality with cone constraints
    Gulati, T. R.
    Gupta, S. K.
    APPLIED MATHEMATICS LETTERS, 2009, 22 (05) : 776 - 781
  • [38] A higher-order logic programming language with constraints
    Leach, J
    Nieva, S
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 108 - 122
  • [39] The research of "Higher-Order Derivative Constraints" theory
    Huang, YL
    2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 2715 - 2719
  • [40] Mixed-Order and Higher-Order Ambiguity Functions
    Haecker, Patrick
    Yang, Bin
    2011 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2011, : 752 - 757
12345