default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 188
Volume 188, Number 1, 10 January 2004
- Petr Jancar
, Antonín Kucera, Faron Moller, Zdenek Sawa:
DP lower bounds for equivalence-checking and model-checking of one-counter automata. 1-19 - Richard Cole, Zvi Galil, Ramesh Hariharan, S. Muthukrishnan, Kunsoo Park:
Parallel two dimensional witness computation. 20-67 - Franck van Breugel:
De Bakker-Zucker processes revisited. 68-76 - Ji-Hoon Kang, Ki-Hyung Hong, Kyu-Young Whang, Jung Wan Cho:
Generalization of ZYT-linearizability for bilinear datalog programs. 77-98 - Philip M. Long:
Efficient algorithms for learning functions with bounded variation. 99-115 - Aduri Pavan, Alan L. Selman:
Bi-immunity separates strong NP-completeness notions. 116-126 - Sanjay Jain, Frank Stephan, Sebastiaan Terwijn:
Counting extensional differences in BC-learning. 127-142
Volume 188, Number 2, 29 January 2004
- Manfred Schmidt-Schauß:
Decidability of bounded second order unification. 143-178 - Francesca Levi, Sergio Maffeis:
On abstract interpretation of Mobile Ambients. 179-240 - Carsten Führmann, Hayo Thielecke:
On the call-by-value CPS transform and its semantics. 241-283
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-22 21:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
