Jain, Sanjay; Stephan, Frank; Terwijn, Sebastiaan A. Counting extensional differences in BC-learning. (English) Zbl 1078.68050 Inf. Comput. 188, No. 1, 127-142 (2004). MSC: 68Q32 PDF BibTeX XML Cite \textit{S. Jain} et al., Inf. Comput. 188, No. 1, 127--142 (2004; Zbl 1078.68050) Full Text: DOI
Pavan, A.; Selman, Alan L. Bi-immunity separates strong NP-completeness notions. (English) Zbl 1078.68042 Inf. Comput. 188, No. 1, 116-126 (2004). MSC: 68Q15 68Q17 PDF BibTeX XML Cite \textit{A. Pavan} and \textit{A. L. Selman}, Inf. Comput. 188, No. 1, 116--126 (2004; Zbl 1078.68042) Full Text: DOI
Long, Philip M. Efficient algorithms for learning functions with bounded variation. (English) Zbl 1090.68054 Inf. Comput. 188, No. 1, 99-115 (2004). MSC: 68Q32 62G08 62H30 PDF BibTeX XML Cite \textit{P. M. Long}, Inf. Comput. 188, No. 1, 99--115 (2004; Zbl 1090.68054) Full Text: DOI
Kang, Ji-Hoon; Hong, Ki-Hyung; Whang, Kyu-Young; Cho, Jung-Wan Generalization of ZYT-linearizability for bilinear datalog programs. (English) Zbl 1078.68023 Inf. Comput. 188, No. 1, 77-98 (2004). MSC: 68P15 PDF BibTeX XML Cite \textit{J.-H. Kang} et al., Inf. Comput. 188, No. 1, 77--98 (2004; Zbl 1078.68023) Full Text: DOI
van Breugel, Franck De Bakker-Zucker processes revisited. (English) Zbl 1078.68097 Inf. Comput. 188, No. 1, 68-76 (2004). MSC: 68Q55 18C50 54E40 68Q85 PDF BibTeX XML Cite \textit{F. van Breugel}, Inf. Comput. 188, No. 1, 68--76 (2004; Zbl 1078.68097) Full Text: DOI
Cole, Richard; Galil, Zvi; Hariharan, Ramesh; Muthukrishnan, S.; Park, Kunsoo Parallel two dimensional witness computation. (English) Zbl 1078.68155 Inf. Comput. 188, No. 1, 20-67 (2004). MSC: 68W10 PDF BibTeX XML Cite \textit{R. Cole} et al., Inf. Comput. 188, No. 1, 20--67 (2004; Zbl 1078.68155) Full Text: DOI
Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk DP lower bounds for equivalence-checking and model-checking of one-counter automata. (English) Zbl 1078.68087 Inf. Comput. 188, No. 1, 1-19 (2004). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{P. Jančar} et al., Inf. Comput. 188, No. 1, 1--19 (2004; Zbl 1078.68087) Full Text: DOI