Sciweavers

17129 search results - page 163 / 3426
» Applied Computing
Sort
View
UMC
2000
15 years 10 months ago
Inaccessibility in Decision Procedures
Asaki Saiton, Kunihiko Kaneko
UMC
2000
15 years 10 months ago
Solving NP-Complete Problems Using P Systems with Active Membranes
Claudio Zandron, Claudio Ferretti, Giancarlo Mauri
FCT
1995
Springer
15 years 10 months ago
Processes with Multiple Entries and Exits
Jan A. Bergstra, Gheorghe Stefanescu
FCT
1995
Springer
15 years 10 months ago
Discrete Time Process Algebra with Abstraction
Jos C. M. Baeten, Jan A. Bergstra
ICCS
1995
Springer
15 years 10 months ago
Conceptual Graphs and First-Order Logic
Michel Wermelinger