咨询与建议

限定检索结果

文献类型

  • 25 篇 会议
  • 8 册 图书
  • 3 篇 期刊文献

馆藏范围

  • 36 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 19 篇 工学
    • 19 篇 计算机科学与技术...
    • 13 篇 软件工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 建筑学
  • 10 篇 理学
    • 10 篇 数学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
  • 3 篇 管理学
    • 3 篇 图书情报与档案管...

主题

  • 6 篇 logic programmin...
  • 5 篇 mathematical log...
  • 5 篇 programming tech...
  • 3 篇 theory of comput...
  • 3 篇 software enginee...
  • 3 篇 logics and meani...
  • 2 篇 software enginee...
  • 2 篇 formal logic
  • 2 篇 mathematical log...
  • 2 篇 semantics
  • 2 篇 programming lang...
  • 2 篇 artificial intel...
  • 2 篇 functional progr...
  • 1 篇 object oriented ...
  • 1 篇 computer circuit...
  • 1 篇 libraries
  • 1 篇 foundations
  • 1 篇 cognition
  • 1 篇 concurrent compu...
  • 1 篇 programming

机构

  • 1 篇 portland state u...
  • 1 篇 department of in...
  • 1 篇 laboratory for t...
  • 1 篇 ladseb-cnr corso...
  • 1 篇 sri internationa...
  • 1 篇 department of co...
  • 1 篇 gec hirst resear...
  • 1 篇 department of co...
  • 1 篇 syracuse univ na...
  • 1 篇 department of ar...
  • 1 篇 university of ca...
  • 1 篇 institute of com...
  • 1 篇 chalmers univers...
  • 1 篇 microsoft resear...
  • 1 篇 univ birmingham ...
  • 1 篇 center for the s...
  • 1 篇 sri internationa...
  • 1 篇 laboratoire d'in...
  • 1 篇 laboratory for f...
  • 1 篇 computer science...

作者

  • 2 篇 longley john
  • 2 篇 goguen joseph a.
  • 1 篇 meseguer josé
  • 1 篇 guarino nicola
  • 1 篇 cédric fournet
  • 1 篇 andrei sabelfeld
  • 1 篇 miglioli p.
  • 1 篇 kumar anil
  • 1 篇 staples john
  • 1 篇 nielson f
  • 1 篇 burn gl
  • 1 篇 sannella donald
  • 1 篇 ornaghi m.
  • 1 篇 ferrand g.
  • 1 篇 karthikeyan bhar...
  • 1 篇 abramsky s
  • 1 篇 antoy s
  • 1 篇 tessier a.
  • 1 篇 jesper bengtson
  • 1 篇 tarlecki andrzej

语言

  • 36 篇 英文
检索条件"任意字段=Workshop on Foundations of Logic and Functional Programming, 1986"
36 条 记 录,以下是11-20 订阅
排序:
International workshop on Extensions of logic programming, 1989
International Workshop on Extensions of Logic Programming, 1...
收藏 引用
International workshop on Extensions of logic programming, 1989
The proceedings contain 13 papers. The special focus in this conference is on Extensions of logic programming. The topics include: logic programming with sequent systems;predicates as parameters in logic programming;a...
来源: 评论
functional COMPLETENESS OF THE MIXED LAMBDA CALCULUS AND COMBINATORY-logic
收藏 引用
THEORETICAL COMPUTER SCIENCE 1990年 第1期70卷 99-126页
作者: NIELSON, HR NIELSON, F Computer Science Department Aarhus University Ny Munkegade 116 DK-8000 Aarhus Denmark
functional completeness of the combinatory logic means that every λ-expression may be translated into an equivalent combinator expression and this is the theoretical basis for the implementation of functional languag... 详细信息
来源: 评论
Fourth workshop on Mathematical foundations of programming Semantics
Fourth Workshop on Mathematical Foundations of Programming S...
收藏 引用
Fourth workshop on Mathematical foundations of programming Semantics
This issue contains 9 conference papers. The topics covered are: algebras, polynomials, and programs;functional polymorphism;fixed points in Cartesian closed categories;guarded theories;categorical fixed point semanti... 详细信息
来源: 评论
REX workshop on Stepwise Refinement of Distributed Systems, 1989
REX Workshop on Stepwise Refinement of Distributed Systems, ...
收藏 引用
REX workshop on Stepwise Refinement of Distributed Systems, 1989
The proceedings contain 29 papers. The special focus in this conference is on Stepwise Refinement of Distributed Systems . The topics include: Composing specifications;a framework for programming in temporal logic;con...
来源: 评论
workshop on foundations of logic and functional programming, 1986
Workshop on Foundations of Logic and Functional Programming,...
收藏 引用
workshop on foundations of logic and functional programming, 1986
The proceedings contain 10 papers. The special focus in this conference is on foundations of logic and functional programming. The topics include: Typechecking dependent types and subtypes;reducing recursion to iterat...
来源: 评论
PAP: a logic programming system based on a constructive logic
PAP: a logic programming system based on a constructive logi...
收藏 引用
workshop on foundations of logic and functional programming, 1986
作者: Miglioli, P. Moscato, U. Ornaghi, M. Department of Information Science University of Milan Italy
来源: 评论
Representing domain structure of many-sorted Prolog knowledge bases
Representing domain structure of many-sorted Prolog knowledg...
收藏 引用
workshop on foundations of logic and functional programming, 1986
作者: Guarino, Nicola Ladseb-CNR Corso Stati Uniti 4 PadovaI-35020 Italy
After a brief introduction on the necessity of an explicit domain description for logic knowledge bases and the advantages of many-sorted logics, we argue that domain representation may consist of a separate logic the... 详细信息
来源: 评论
Rule rewriting methods for efficient implementations of horn logic
Rule rewriting methods for efficient implementations of horn...
收藏 引用
workshop on foundations of logic and functional programming, 1986
作者: Zaniolo, Carlo Saccà, Domenico MCC AustinTX United States University of Calabria Rende Italy
This paper treats the problem of implementing efficiently queries expressed in a Horn clause based language when recursive predicates, possibly with function symbols, are present. The proposed approach takes the naive... 详细信息
来源: 评论
functional logic languages part I
Functional logic languages part I
收藏 引用
International workshop on Graph Reduction, 1986
作者: Reddy, Uday S. University of Illinois at Urbana-Champaign United States
functional logic languages are extensions of functional languages with principles derived from logic programming. While syntactically they look similar to conventional functional languages, their operational semantics... 详细信息
来源: 评论
Unification of quantified terms
Unification of quantified terms
收藏 引用
International workshop on Graph Reduction, 1986
作者: Staples, John Robinson, Peter J. Department of Computer Science University of Queensland St. LuciaQLD4067 Australia
Unification algorithms for quantified terms are needed for the implementation of extended functional and logic programming languages, and also for the implementation of other symbolic computation systems such as theor... 详细信息
来源: 评论