设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(12)
Elsevier电子期刊(8)
在“
Elsevier电子期刊
”中,
命中:
8
条,耗时:小于0.01 秒
在所有数据库中总计命中:
20
条
1.
Game semantics for non-monotonic intensional logic programming
作者:
Chrysida Galanaki
a
;
chrysida@di.uoa.gr
;
Christos Nomikos
b
;
cnomikos@cs.uoi.gr
;
Panos
Rondogiannis
a
;
prondo@di.uoa.gr
关键词:
68N15
;
68N17
;
68Q55
;
91A05
刊名:Annals of Pure and Applied Logic
出版年:2017
2.
On the expressive power of univariate equations over sets of natural numbers
作者:
Alexander Okhotin
a
;
1
;
alexander.okhotin@utu.fi
;
Panos
Rondogiannis
b
;
2
;
prondo@di.uoa.gr
关键词:
Non-periodic sets of natural numbers
;
Language equations
;
Conjunctive grammars
刊名:Information and Computation
出版年:2012
3.
A game-theoretic characterization of Boolean grammars
作者:
Vassilis Kountouriotis
a
;
bk@di.uoa.gr
;
Christos Nomikos
b
;
cnomikos@cs.uoi.gr
;
Panos
Rondogiannis
a
;
prondo@di.uoa.gr
关键词:
Boolean grammars
;
Game semantics
刊名:Theoretical Computer Science
出版年:2011
4.
Strong equivalence of logic programs under the infinite-valued semantics
作者:
Christos Nomikos
;
Panos
Rondogiannis
;
William W. Wadge
关键词:
Formal semantics
;
Negation in logic programming
;
Strong equivalence
刊名:Information Processing Letters
出版年:2009
5.
An infinite-game semantics for well-founded negation in logic programming
作者:
Chrysida Galanaki
;
Panos
Rondogiannis
;
William W. Wadge
关键词:
Semantics of logic programming
;
Negation in logic programming
;
Infinite games
刊名:Annals of Pure and Applied Logic
出版年:2008
6.
Well-founded semantics for Boolean grammars
作者:
Vassilis Kountouriotis
;
Christos Nomikos
;
Panos
Rondogiannis
刊名:Information and Computation
出版年:2009
7.
Locally stratified Boolean grammars
作者:
Christos Nomikos
;
Panos
Rondogiannis
刊名:Information and Computation
出版年:2008
8.
Temporal stratification tests for linear and branching-time deductive databases
作者:
Christos Nomikos
;
Panos
Rondogiannis
and Manolis Gergatsoulis
关键词:
Temporal deductive databases
;
Temporal logic programming
;
Stratified negation
刊名:Theoretical Computer Science
出版年:2005
1
按检索点细分(8)
作者(8)
按出版年细分(8)
2017年(1)
2012年(1)
2011年(1)
2009年(2)
2008年(2)
2005年(1)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.