Sciweavers

728 search results - page 9 / 146

» A Logical View of Choreography

114

BIOSYSTEMS
2007

74views more BIOSYSTEMS 2007»

Internal logic viewed from observation space: Theory and a case study

15 years 5 months ago

Internal logic viewed from observation space: Theory and a case study

Download eprints3.math.sci.hokudai.ac.jp

Motohiko Hatakeyama, Ichiro Tsuda

claim paper

Read More »

59

CORR
2008
Springer

59views Education» more CORR 2008»

Logical Queries over Views: Decidability and Expressiveness

15 years 5 months ago

Logical Queries over Views: Decidability and Expressiveness

Download tocl.acm.org

James Bailey, Guozhu Dong, Anthony Widjaja To

claim paper

Read More »

105

SLOGICA
2008

73views more SLOGICA 2008»

Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View

15 years 5 months ago

Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View

Download www.springerlink.com

Sato Kentaro

claim paper

Read More »

111

CORR
2000
Springer

72views Education» more CORR 2000»

Relevance as Deduction: A Logical View of Information Retrieval

15 years 5 months ago

Relevance as Deduction: A Logical View of Information Retrieval

Download www.dcs.gla.ac.uk

t) Gianni Amati Konstantinos Georgatos Fondazione Ugo Bordoni Dipartimento di Informatica e Sistemistica Via B. Castiglione 59, 00142 Roma, Italy Universita di Roma \La Sapienza&qu...

Gianni Amati, Konstantinos Georgatos

claim paper

Read More »

128

CSUR
1998

73views more CSUR 1998»

A Unifying View of Functional and Logic Program Specialization

15 years 5 months ago

A Unifying View of Functional and Logic Program Specialization

Download users.dsic.upv.es

María Alpuente, Moreno Falaschi, Germ&aacut...

claim paper

Read More »

« Prev « First page 9 / 146 Last » Next »