@article{van_Gelder/88,
AUTHOR = {van Gelder, Allen},
TITLE = {A satisfiability tester for non-clausal propositional calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {1},
PAGES = {1-21},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hortala-Gonzalez-Lucio-Carrasco-Rodriguez-Artalejo/88,
AUTHOR = {Hortal{\'a}-Gonz{\'a}lez, M. Teresa and Lucio-Carrasco, Francisca and Rodr{\'i}guez-Artalejo, Mario},
TITLE = {Some general incompleteness results for partial correctness logics},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {1},
PAGES = {22-42},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Itai-Rodeh/88,
AUTHOR = {Itai, Alon and Rodeh, Michael},
TITLE = {The multi-tree approach to reliability in distributed networks},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {1},
PAGES = {43-59},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Benson-Ben-Shachar/88,
AUTHOR = {Benson, David B. and Ben-Shachar, Ofer},
TITLE = {Bisimulation of automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {1},
PAGES = {60-83},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Beaudry/88,
AUTHOR = {Beaudry, Martin},
TITLE = {Membership testing in commutative transformation semigroups},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {1},
PAGES = {84-94},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Robinson-Rosolini/88,
AUTHOR = {Robinson, E. and Rosolini, G.},
TITLE = {Categories of partial maps},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {2},
PAGES = {95-130},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rinat-Francez-Grumbert/88,
AUTHOR = {Rinat, Ran and Francez, Nissim and Grumbert, Orna},
TITLE = {Infinite trees, markings, and well-foundedness},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {2},
PAGES = {131-154},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Stohr/88,
AUTHOR = {St{\"o}hr, Elena},
TITLE = {A trade-off between page number and page width of book embeddings of graphs},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {2},
PAGES = {155-162},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Tsaknakis-Papantoni-Kazakos/88,
AUTHOR = {Tsaknakis, Haralampos and Papantoni-Kazakos, P.},
TITLE = {Outlier resistant filtering and smoothing},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {2},
PAGES = {163-192},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fulk/88,
AUTHOR = {Fulk, Mark A.},
TITLE = {Saving the phenomena: Requirements that inductive inference machines not contradict known data},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {3},
PAGES = {193-209},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Koymans-Shyamasundar-Roever-Gerth-Arun-Kumar/88,
AUTHOR = {Koymans, R. and Shyamasundar, R.K. and Roever, W.P. de and Gerth, R. and Arun-Kumar, S.},
TITLE = {Compositional semantics for real-time distributed computing},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {3},
PAGES = {210-256},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Trachtenberg/88,
AUTHOR = {Trachtenberg, E.A.},
TITLE = {Fault tolerant computing and reliable communication: A unified approach},
JOURNAL = {Inf.~Comput.},
VOLUME = {79},
NUMBER = {3},
PAGES = {257-279},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}