@article{Seberry-Zhang-Zheng/95,
AUTHOR = {Seberry, Jennifer and Zhang, Xian-Mo and Zheng, Yuliang},
TITLE = {Nonlinearity and propagation characteristics of balanced boolean functions},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {1},
PAGES = {1-13},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dekkers/95,
AUTHOR = {Dekkers, Wil},
TITLE = {Inhabitation of types in the simply typed lambda calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {1},
PAGES = {14-17},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kennaway-Klop-Sleep-Vries/95,
AUTHOR = {Kennaway, Richard and Klop, Jan Willem and Sleep, Ronan and Vries, Fer-Jan de},
TITLE = {Transfinite reductions in orthogonal term rewriting systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {1},
PAGES = {18-38},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Yamanishi/95,
AUTHOR = {Yamanishi, Kenji},
TITLE = {A loss bound model for on-line stochastic prediction algorithms},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {1},
PAGES = {39-54},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Honsell-Mason-Smith-Talcott/95,
AUTHOR = {Honsell, Furio and Mason, Ian A. and Smith, Scott and Talcott, Carolyn},
TITLE = {A variable typed logic of effects},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {1},
PAGES = {55-90},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lodaya-Parikh-Ramanujam-Thiagarajan/95,
AUTHOR = {Lodaya, Kamal and Parikh, Rohit and Ramanujam, R. and Thiagarajan, P.S.},
TITLE = {A logical study of distributed transition systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {1},
PAGES = {91-118},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bergstra-Heering/95,
AUTHOR = {Bergstra, J.A. and Heering, J.},
TITLE = {Homomorphism preserving algebraic specifications require hidden sorts},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {1},
PAGES = {119-123},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hagerup/95b,
AUTHOR = {Hagerup, Torben},
TITLE = {A lower bound for the emulation of PRAM memories on processor networks},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {1},
PAGES = {124-128},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gradel-McColm/95,
AUTHOR = {Gr{\"a}del, Erich and McColm, Gregory L.},
TITLE = {On the power of deterministic transitive closures},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {1},
PAGES = {129-135},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ferrucci-Pacini-Sessa/95,
AUTHOR = {Ferrucci, F. and Pacini, G. and Sessa, M.I.},
TITLE = {Redundancy elimination and loop checks for logic programs},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {2},
PAGES = {137-153},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Nakayama-Maruoka/95,
AUTHOR = {Nakayama, Katsutoshi and Maruoka, Akira},
TITLE = {Loop circuits and their relation to Razborov's approximation model},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {2},
PAGES = {154-159},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dawar-Lindell-Weinstein/95,
AUTHOR = {Dawar, Anuj and Lindell, Steven and Weinstein, Scott},
TITLE = {Infinitary logic and inductive definability over finite structures},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {2},
PAGES = {160-175},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{di_Cosmo/95,
AUTHOR = {di Cosmo, Roberto},
TITLE = {Second order isomorphic types: A proof theoretic study on second order $\lambda$-calculus with surjective pairing and terminal object},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {2},
PAGES = {176-201},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Barbanera-Dezani-Ciancaglini-deLiguoro/95,
AUTHOR = {Barbanera, Franco and Dezani-Ciancaglini, Mariangiola and de'Liguoro, Ugo},
TITLE = {Intersection and union types: Syntax and semantics},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {2},
PAGES = {202-230},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Chen-Toda/95,
AUTHOR = {Chen, Zhi-Zhong and Toda, Seinosuke},
TITLE = {The complexity of selecting maximal solutions},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {2},
PAGES = {231-239},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Metivier-Richomme/95,
AUTHOR = {M{\'e}tivier, Yves and Richomme, Gw{\'e}na{\"e}l},
TITLE = {New results on the star problem in trace monoids},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {2},
PAGES = {240-251},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gouy-Jiang/95,
AUTHOR = {Gouy, Xavier and Jiang, Ying},
TITLE = {Universal retractions on $DI$-domains},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {2},
PAGES = {252-257},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Amir-Farach-Idury-Poutre-Schaffer/95,
AUTHOR = {Amir, Amihood and Farach, Martin and Idury, Ramana M. and Poutr{\'e}, Johannes A. la and Sch{\"a}ffer, Alejandro A.},
TITLE = {Improved dynamic dictionary matching},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {2},
PAGES = {258-282},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Neiger/95,
AUTHOR = {Neiger, Gil},
TITLE = {Simplifying the design of knowledge-based algorithms using knowledge consistency},
JOURNAL = {Inf.~Comput.},
VOLUME = {119},
NUMBER = {2},
PAGES = {283-293},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}