Search Sciweavers | Sciweavers

15416 search results - page 301 / 3084

» Embeddings of Computable Structures

127

click to vote

ICNP
1995
IEEE

74views Computer Networks» more ICNP 1995»

Protocol synthesis from timed and structured specifications

15 years 11 months ago

Download www.ieee-icnp.org

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

claim paper

Read More »

138

Voted

BIRTHDAY
1991
Springer

76views Applied Computing» more BIRTHDAY 1991»

Labeled 2-Structures

15 years 10 months ago

Download users.utu.fi

Grzegorz Rozenberg

claim paper

Read More »

174

click to vote

CONCUR
1991
Springer

92views Distributed And Parallel Com...» more CONCUR 1991»

Geometric Logic, Causality and Event Structures

15 years 10 months ago

Download www.hpl.hp.com

Jeremy Gunawardena

claim paper

Read More »

134

click to vote

BIRTHDAY
2005
Springer

92views Applied Computing» more BIRTHDAY 2005»

Dimensions of Neural-symbolic Integration - A Structured Survey

15 years 9 months ago

Download people.aifb.kit.edu

Sebastian Bader, Pascal Hitzler

claim paper

Read More »

149

click to vote

ERSHOV
2006
Springer

96views Theoretical Computer Science» more ERSHOV 2006»

Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers