Search Sciweavers | Sciweavers

15416 search results - page 301 / 3084

» Embeddings of Computable Structures

119

click to vote

ICNP
1995
IEEE

74views Computer Networks» more ICNP 1995»

Protocol synthesis from timed and structured specifications

15 years 10 months ago

Download www.ieee-icnp.org

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

claim paper

Read More »

126

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 »

154

Voted

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 »

125

Voted

BIRTHDAY
2005
Springer

92views Applied Computing» more BIRTHDAY 2005»

Dimensions of Neural-symbolic Integration - A Structured Survey

15 years 8 months ago

Download people.aifb.kit.edu

Sebastian Bader, Pascal Hitzler

claim paper

Read More »

139

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 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers