搜索页_ Alban Ponse

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

Springer电子图书(1)

SpringerLink电子期刊(6)

Elsevier电子期刊(15)

在“Elsevier电子期刊”中，命中：15条，耗时：0.0669682 秒

在所有数据库中总计命中：22条

1.Fracpairs and fractions over a reduced commutative ring

作者：Jan A. Bergstra ; Alban Ponse ; ^{A.Ponse@uva.nl" class="auth_mail" title="E-mail the corresponding author} ;

关键词：Fraction as a pair ; Common meadow ; Division by zero ; Abstract datatype ; Rational numbers ; Term rewriting

刊名：Indagationes Mathematicae

出版年：2016

2.A generalization of ACP using Belnap’s logic

作者：Alban Ponse ; Mark B. van der Zwaag

关键词：Belnap’ ; s logic ; Conditional composition ; Process algebra ; ACP

刊名：Journal of Logic and Algebraic Programming

出版年：2007

3.Belnap’s logic and conditional composition

作者：Alban Ponse ; Mark B. van der Zwaag

关键词：Belnap’ ; s logic ; Equational axiomatizations ; Conditional composition ; Guard logic ; Completeness

刊名：Theoretical Computer Science

出版年：2007

4.Execution architectures for program algebra

作者：Jan A. Bergstra ; Alban Ponse

关键词：Halting problem ; Execution of programs ; Program algebra ; Turing machine

刊名：Journal of Applied Logic

出版年：2007

5.A Generalization of ACP Using Belnap's Logic

作者：Alban Ponse ; Mark B. van der Zwaag

关键词：Many-Valued Logic ; Belnap's Logic ; Process Algebra ; ACP ; Conditional Composition ; Choice

刊名：Electronic Notes in Theoretical Computer Science

出版年：2006

6.Branching time and orthogonal bisimulation equivalence

作者：Bergstra ; Jan A. ; Ponse ; Alban ; van der Zwaag ; Mark B.

关键词：Orthogonal bisimulation ; Branching time ; Process algebra ; Silent step ; Labelled transition system

刊名：Theoretical Computer Science

出版年：2003

7.Nested Semantics over Finite Trees are Equationally Hard: Invited Talk

作者：Luca Aceto

刊名：Electronic Notes in Theoretical Computer Science

出版年：2004

8.Combining programs and state machines

作者：Bergstra ; Jan A. ; Ponse ; Alban

关键词：Program algebra ; State machine ; Abstract data type

刊名：Journal of Logic and Algebraic Programming

出版年：2002

9.Program algebra with unit instruction operators

作者：Ponse ; Alban

关键词：Program algebra ; Unit instruction operator ; Projection semantics

刊名：Journal of Logic and Algebraic Programming

出版年：2002

10.Process algebra and conditional composition

作者：Bergstra ; Jan A. ; Ponse ; Alban

关键词：Process algebra ; Conditional composition ; Five-valued logic

刊名：Information Processing Letters

出版年：2001

1

2

按检索点细分(15)

作者(14)

文摘(1)

按出版年细分(15)

2016年(1)

2007年(3)

2006年(1)

2004年(1)

2003年(1)

2002年(2)

2001年(3)

2000年及以前(3)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700