Search Sciweavers | Sciweavers

17129 search results - page 163 / 3426

» Applied Computing

121

click to vote

UMC
2000

231views Applied Computing» more UMC 2000»

Inaccessibility in Decision Procedures

15 years 6 months ago

Download www.fun.ac.jp

Asaki Saiton, Kunihiko Kaneko

claim paper

Read More »

116

click to vote

UMC
2000

206views Applied Computing» more UMC 2000»

Solving NP-Complete Problems Using P Systems with Active Membranes

15 years 6 months ago

Download psystems.disco.unimib.it

Claudio Zandron, Claudio Ferretti, Giancarlo Mauri

claim paper

Read More »

click to vote

FCT
1995
Springer

80views Applied Computing» more FCT 1995»

Processes with Multiple Entries and Exits

15 years 6 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Gheorghe Stefanescu

claim paper

Read More »

click to vote

FCT
1995
Springer

94views Applied Computing» more FCT 1995»

Discrete Time Process Algebra with Abstraction

15 years 6 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

click to vote

ICCS
1995
Springer

178views Applied Computing» more ICCS 1995»

Conceptual Graphs and First-Order Logic

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers