@article{Ferrucci-Pacini-Satta-Sessa-Tortora-Tucci-Vitiello/96,
AUTHOR = {Ferrucci, F. and Pacini, G. and Satta, G. and Sessa, M.I. and Tortora, G. and Tucci, M. and Vitiello, G.},
TITLE = {Symbol-relation grammars: A formalism for graphical languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {131},
NUMBER = {1},
PAGES = {1-46},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kari-Thierrin/96a,
AUTHOR = {Kari, Lila and Thierrin, Gabriel},
TITLE = {Contextual insertions/deletions and computability},
JOURNAL = {Inf.~Comput.},
VOLUME = {131},
NUMBER = {1},
PAGES = {47-61},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kao-Reif-Tate/96,
AUTHOR = {Kao, Ming-Yang and Reif, John H. and Tate, Stephen R.},
TITLE = {Searching in an unknown environment: An optimal randomized algorithm for the cow-path problem},
JOURNAL = {Inf.~Comput.},
VOLUME = {131},
NUMBER = {1},
PAGES = {63-79},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bertram-Kretzberg-Hofmeister/96,
AUTHOR = {Bertram-Kretzberg, Claudia and Hofmeister, Thomas},
TITLE = {Multiple product modulo arbitrary numbers},
JOURNAL = {Inf.~Comput.},
VOLUME = {131},
NUMBER = {1},
PAGES = {81-93},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rooss-Wagner/96,
AUTHOR = {Roo{\ss}, Diana and Wagner, Klaus W.},
TITLE = {On the power of DNA-computing},
JOURNAL = {Inf.~Comput.},
VOLUME = {131},
NUMBER = {2},
PAGES = {95-109},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Blundo-Santis-Vaccaro/96,
AUTHOR = {Blundo, Carlo and Santis, Alfredo de and Vaccaro, Ugo},
TITLE = {Randomness in distribution protocols},
JOURNAL = {Inf.~Comput.},
VOLUME = {131},
NUMBER = {2},
PAGES = {111-139},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Sangiorgi/96a,
AUTHOR = {Sangiorgi, Davide},
TITLE = {Bisimulation for higher-order process calculi},
JOURNAL = {Inf.~Comput.},
VOLUME = {131},
NUMBER = {2},
PAGES = {141-178},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Agrawal-Arvind/96a,
AUTHOR = {Agrawal, M. and Arvind, V.},
TITLE = {A note on decision versus search for graph automorphism},
JOURNAL = {Inf.~Comput.},
VOLUME = {131},
NUMBER = {2},
PAGES = {179-189},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fenner-Fortnow-Li/96,
AUTHOR = {Fenner, Stephen and Fortnow, Lance and Li, Lide},
TITLE = {Gap-definability as a closure property},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {1},
PAGES = {1-17},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Jain-Sharma/96a,
AUTHOR = {Jain, Sanjay and Sharma, Arun},
TITLE = {Computational limits on team identification of languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {1},
PAGES = {19-60},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wilke-Yoo/96,
AUTHOR = {Wilke, Thomas and Yoo, Haiseung},
TITLE = {Computing the Rabin index of a regular language of infinite words},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {1},
PAGES = {61-70},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Abdulla-Jonsson/96,
AUTHOR = {Abdulla, Parosh Aziz and Jonsson, Bengt},
TITLE = {Undecidable verification problems for programs with unreliable channels},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {1},
PAGES = {71-90},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Damm-Holzer/96,
AUTHOR = {Damm, Carsten and Holzer, Markus},
TITLE = {Inductive counting for width-restricted branching programs},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {1},
PAGES = {91-99},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Beame-Borodin-Raghavan-Ruzzo-Tompa/96,
AUTHOR = {Beame, Paul and Borodin, Allan and Raghavan, Prabhakar and Ruzzo, Walter L. and Tompa, Martin},
TITLE = {Time-space tradeoffs for undirected graph traversal by graph automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {2},
PAGES = {101-129},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wang/96f,
AUTHOR = {Wang, Farn},
TITLE = {Parametric timing analysis for real-time systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {2},
PAGES = {131-150},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Giancarlo-Grossi/96,
AUTHOR = {Giancarlo, Raffaele and Grossi, Roberto},
TITLE = {On the construction of classes of suffix trees for square matrices: Algorithms and applications},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {2},
PAGES = {151-182},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bruyere-Felice/96,
AUTHOR = {Bruy{\`e}re, V{\'e}ronique and Felice, Clelia de},
TITLE = {Any lifting of a trace coding is a word coding},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {2},
PAGES = {183-193},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Jenner-McKenzie-Therien/96,
AUTHOR = {Jenner, Birgit and McKenzie, Pierre and Th{\'e}rien, Denis},
TITLE = {Logspace and logtime leaf languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {129},
NUMBER = {1},
PAGES = {21-33},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dam/96,
AUTHOR = {Dam, Mads},
TITLE = {Model checking mobile processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {129},
NUMBER = {1},
PAGES = {35-51},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Zhang/96d,
AUTHOR = {Zhang, Mingyi},
TITLE = {A new research into default logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {129},
NUMBER = {2},
PAGES = {73-85},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ateniese-Blundo-Santis-Stinson/96a,
AUTHOR = {Ateniese, Giuseppe and Blundo, Carlo and Santis, Alfredo de and Stinson, Douglas R.},
TITLE = {Visual cryptography for general access structures},
JOURNAL = {Inf.~Comput.},
VOLUME = {129},
NUMBER = {2},
PAGES = {86-106},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Aceto-Ingolfsdottir/96,
AUTHOR = {Aceto, Luca and Ing{\'o}lfsd{\'o}ttir, Anna},
TITLE = {CPO models for compact GSOS languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {129},
NUMBER = {2},
PAGES = {107-141},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lynch-Vaandrager/96,
AUTHOR = {Lynch, Nancy and Vaandrager, Frits},
TITLE = {Forward and backward simulations II. Timing-based systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {128},
NUMBER = {1},
PAGES = {1-25},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mason-Smith-Talcott/96,
AUTHOR = {Mason, Ian A. and Smith, Scott F. and Talcott, Carolyn L.},
TITLE = {From operational semantics to domain theory},
JOURNAL = {Inf.~Comput.},
VOLUME = {128},
NUMBER = {1},
PAGES = {26-47},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kilian-Siegelmann/96,
AUTHOR = {Kilian, Joe and Siegelmann, Hava T.},
TITLE = {The dynamic universality of sigmoidal neural networks},
JOURNAL = {Inf.~Comput.},
VOLUME = {128},
NUMBER = {1},
PAGES = {48-56},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Varghese-Lynch/96,
AUTHOR = {Varghese, George and Lynch, Nancy A.},
TITLE = {A tradeoff between safety and liveness for randomized coordinated attack},
JOURNAL = {Inf.~Comput.},
VOLUME = {128},
NUMBER = {1},
PAGES = {57-71},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Case-Jain-Sharma/96,
AUTHOR = {Case, John and Jain, Sanjay and Sharma, Arun},
TITLE = {Machine induction without revolutionary changes in hypothesis size},
JOURNAL = {Inf.~Comput.},
VOLUME = {128},
NUMBER = {2},
PAGES = {73-86},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Romanik-Vitter/96,
AUTHOR = {Romanik, Kathleen and Vitter, Jeffrey Scott},
TITLE = {Using Vapnik-Chervonenkis dimension to analyze the testing complexity of program segments},
JOURNAL = {Inf.~Comput.},
VOLUME = {128},
NUMBER = {2},
PAGES = {87-108},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Harel-Singerman/96,
AUTHOR = {Harel, David and Singerman, Eli},
TITLE = {More on nonregular PDL: Finite models and Fibonacci-like programs},
JOURNAL = {Inf.~Comput.},
VOLUME = {128},
NUMBER = {2},
PAGES = {109-118},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Han-Thierauf/96,
AUTHOR = {Han, Yenjo and Thierauf, Thomas},
TITLE = {Restricted information from nonadaptive queries to NP},
JOURNAL = {Inf.~Comput.},
VOLUME = {128},
NUMBER = {2},
PAGES = {119-125},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Changizi/96,
AUTHOR = {Changizi, Mark},
TITLE = {Self-monitoring machines and an $\omega^{\omega}$ hierarchy of loops},
JOURNAL = {Inf.~Comput.},
VOLUME = {128},
NUMBER = {2},
PAGES = {127-138},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Vyugin/96,
AUTHOR = {V'yugin, Vladimir V.},
TITLE = {Bayesianism: An algorithmic analysis},
JOURNAL = {Inf.~Comput.},
VOLUME = {127},
NUMBER = {1},
PAGES = {1-10},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gianantonio/96,
AUTHOR = {Gianantonio, Pietro Di},
TITLE = {Real number computability and domain theory},
JOURNAL = {Inf.~Comput.},
VOLUME = {127},
NUMBER = {1},
PAGES = {11-25},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Aceto-Glabbeek-Fokkink-Ingolfsdottir/96,
AUTHOR = {Aceto, Luca and Glabbeek, Rob van and Fokkink, Wan and Ing{\'o}lfsd{\'o}ttir, Anna},
TITLE = {Axiomatizing prefix iteration with silent steps},
JOURNAL = {Inf.~Comput.},
VOLUME = {127},
NUMBER = {1},
PAGES = {26-40},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Vogler/96,
AUTHOR = {Vogler, Walter},
TITLE = {The limit of $\mbox{Split}_n$-language equivalence},
JOURNAL = {Inf.~Comput.},
VOLUME = {127},
NUMBER = {1},
PAGES = {41-61},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Pitts/96,
AUTHOR = {Pitts, Andrew M.},
TITLE = {Relational properties of domains},
JOURNAL = {Inf.~Comput.},
VOLUME = {127},
NUMBER = {2},
PAGES = {66-90},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Abdulla-Jonsson/96a,
AUTHOR = {Abdulla, Parosh Aziz and Jonsson, Bengt},
TITLE = {Verifying programs with unreliable channels},
JOURNAL = {Inf.~Comput.},
VOLUME = {127},
NUMBER = {2},
PAGES = {91-101},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mitchell-Viswanathan/96,
AUTHOR = {Mitchell, John and Viswanathan, Ramesh},
TITLE = {Standard ML-NJ weak polymorphism and imperative constructs},
JOURNAL = {Inf.~Comput.},
VOLUME = {127},
NUMBER = {2},
PAGES = {102-116},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hillebrand-Kanellakis-Mairson/96,
AUTHOR = {Hillebrand, Gerd G. and Kanellakis, Paris C. and Mairson, Harry G.},
TITLE = {Database query languages embedded in the typed lambda calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {127},
NUMBER = {2},
PAGES = {117-144},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Brookes/96,
AUTHOR = {Brookes, Stephen},
TITLE = {Full abstraction for a shared-variable parallel language},
JOURNAL = {Inf.~Comput.},
VOLUME = {127},
NUMBER = {2},
PAGES = {145-163},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Joyal-Nielsen-Winskel/96,
AUTHOR = {Joyal, Andr{\'e} and Nielsen, Mogens and Winskel, Glynn},
TITLE = {Bisimulation from open maps},
JOURNAL = {Inf.~Comput.},
VOLUME = {127},
NUMBER = {2},
PAGES = {164-185},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fiore/96,
AUTHOR = {Fiore, Marcelo P.},
TITLE = {A coinduction principle for recursive data types based on bisimulation},
JOURNAL = {Inf.~Comput.},
VOLUME = {127},
NUMBER = {2},
PAGES = {186-198},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fokkink-Glabbeek/96,
AUTHOR = {Fokkink, Wan and Glabbeek, Rob van},
TITLE = {Ntyft/ntyxt rules reduce to ntree rules},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {1},
PAGES = {1-10},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hofmann-Pierce/96,
AUTHOR = {Hofmann, Martin and Pierce, Benjamin C.},
TITLE = {Positive subtyping},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {1},
PAGES = {11-33},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Boreale-Nicola/96,
AUTHOR = {Boreale, Michele and Nicola, Rocco de},
TITLE = {A symbolic semantics for the $\pi$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {1},
PAGES = {34-52},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Sayeed-Abu-Amara/96,
AUTHOR = {Sayeed, Hasan Md. and Abu-Amara, Hosame},
TITLE = {Efficient perfectly secure message transmission in synchronous networks},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {1},
PAGES = {53-61},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Alur-Taubenfeld/96,
AUTHOR = {Alur, Rajeev and Taubenfeld, Gadi},
TITLE = {Contention-free complexity of shared memory algorithms},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {1},
PAGES = {62-73},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Plotkin/96,
AUTHOR = {Plotkin, Gordon},
TITLE = {On a question of H. Friedman},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {1},
PAGES = {74-77},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Itoh/96,
AUTHOR = {Itoh, Toshiya},
TITLE = {Simulating fair dice with biased coins},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {1},
PAGES = {78-82},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Boudol-Laneve/96,
AUTHOR = {Boudol, G{\'e}rard and Laneve, Cosimo},
TITLE = {The discriminating power of multiplicities in the $\lambda$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {1},
PAGES = {83-102},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Droste/96,
AUTHOR = {Droste, Manfred},
TITLE = {Aperiodic languages in concurrency monoids},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {2},
PAGES = {105-113},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hancock-Jiang-Li-Tromp/96,
AUTHOR = {Hancock, Thomas and Jiang, Tao and Li, Ming and Tromp, John},
TITLE = {Lower bounds on learning decision lists and trees},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {2},
PAGES = {114-122},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bloo-Kamareddine-Nederpelt/96,
AUTHOR = {Bloo, Roel and Kamareddine, Fairouz and Nederpelt, Rob},
TITLE = {The Barendregt cube with definitions and generalized reduction},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {2},
PAGES = {123-143},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ringeissen/96,
AUTHOR = {Ringeissen, Christophe},
TITLE = {Combining decision algorithms for matching in the union of disjoint equational theories},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {2},
PAGES = {144-160},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Chaudhuri/96,
AUTHOR = {Chaudhuri, Shiva},
TITLE = {Sensitive functions and approximate problems},
JOURNAL = {Inf.~Comput.},
VOLUME = {126},
NUMBER = {2},
PAGES = {161-168},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Creignou-Hermann/96,
AUTHOR = {Creignou, Nadia and Hermann, Miki},
TITLE = {Complexity of generalized satisfiability counting problems},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {1},
PAGES = {1-12},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Juedes-Lutz/96,
AUTHOR = {Juedes, David W. and Lutz, Jack H.},
TITLE = {Completeness and weak completeness under polynomial-size circuits},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {1},
PAGES = {13-31},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Giammarresi-Restivo-Seibert-Thomas/96,
AUTHOR = {Giammarresi, Dora and Restivo, Antonio and Seibert, Sebastian and Thomas, Wolfgang},
TITLE = {Monadic second-order logic over rectangular pictures and recognizability by tiling systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {1},
PAGES = {32-45},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lafont-Scedrov/96,
AUTHOR = {Lafont, Yves and Scedrov, Andre},
TITLE = {The undecidability of second order multiplicative linear logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {1},
PAGES = {46-51},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bar-Ilan-Peleg/96,
AUTHOR = {Bar-Ilan, Judit and Peleg, David},
TITLE = {Scheduling jobs using common resources},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {1},
PAGES = {52-61},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kupferman-Grumberg/96,
AUTHOR = {Kupferman, Orna and Grumberg, Orna},
TITLE = {Branching-time temporal logic and tree automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {1},
PAGES = {62-69},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Book-Watanabe/96,
AUTHOR = {Book, Ronald V. and Watanabe, Osamu},
TITLE = {On random hard sets for NP},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {1},
PAGES = {70-76},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Abadi-Cardelli/96,
AUTHOR = {Abadi, Mart{\'i}n and Cardelli, Luca},
TITLE = {A theory of primitive objects: Untyped and first-order systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {2},
PAGES = {78-102},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Barbanera-Berardi/96,
AUTHOR = {Barbanera, Franco and Berardi, Stefano},
TITLE = {A symmetric lambda calculus for classical program extraction},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {2},
PAGES = {103-117},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Goltz-Gorrieri-Rensink/96,
AUTHOR = {Goltz, Ursula and Gorrieri, Roberto and Rensink, Arend},
TITLE = {Comparing syntactic and semantic action refinement},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {2},
PAGES = {118-143},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Takahashi-Akama-Hirokawa/96,
AUTHOR = {Takahashi, Masako and Akama, Yohji and Hirokawa, Sachio},
TITLE = {Normal proofs and their grammar},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {2},
PAGES = {144-153},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Plaisted-Sattler-Klein/96,
AUTHOR = {Plaisted, David A. and Sattler-Klein, Andrea},
TITLE = {Proof lengths for equational completion},
JOURNAL = {Inf.~Comput.},
VOLUME = {125},
NUMBER = {2},
PAGES = {154-170},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fortnow-Reingold/96,
AUTHOR = {Fortnow, Lance and Reingold, Nick},
TITLE = {PP is closed under truth-table reductions},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {1},
PAGES = {1-6},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gruchalski/96,
AUTHOR = {Gruchalski, Andreas},
TITLE = {Computability on dl-domains},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {1},
PAGES = {7-19},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cece-Finkel-Iyer/96,
AUTHOR = {C{\'e}c{\'e}, G{\'e}rard and Finkel, Alain and Iyer, S. Purushothaman},
TITLE = {Unreliabable channels are easier to verify than perfect channels},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {1},
PAGES = {20-31},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kesner-Puel-Tannen/96,
AUTHOR = {Kesner, Delia and Puel, Laurence and Tannen, Val},
TITLE = {A typed pattern calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {1},
PAGES = {32-61},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Haack/96,
AUTHOR = {Haack, Christian},
TITLE = {A decomposition theorem for domains},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {1},
PAGES = {62-67},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Anderson-Yang/96,
AUTHOR = {Anderson, James H. and Yang, Jae-Heon},
TITLE = {Time/contention trade-offs for multiprocessor synchronization},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {1},
PAGES = {68-84},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kosiuczenko-Meinke/96,
AUTHOR = {Kosiuczenko, P. and Meinke, K.},
TITLE = {On the power of higher-order algebraic specification methods},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {1},
PAGES = {85-101},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Howe/96,
AUTHOR = {Howe, Douglas J.},
TITLE = {Proving congruence of bisimulation in functional programming languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {2},
PAGES = {103-112},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ho/96,
AUTHOR = {Ho, Chun-Kuen},
TITLE = {Beyond recursive real functions},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {2},
PAGES = {113-126},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ben-Eliyahu-Magidor/96,
AUTHOR = {Ben-Eliyahu, Rachel and Magidor, Menachem},
TITLE = {A temporal logic for proving properties of topologically general executions},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {2},
PAGES = {127-144},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fraser-Irving-Middendorf/96,
AUTHOR = {Fraser, Campbell B. and Irving, Robert W. and Middendorf, Martin},
TITLE = {Maximal common subsequences and minimal common supersequences},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {2},
PAGES = {145-153},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rabinovich/96,
AUTHOR = {Rabinovich, Alexander},
TITLE = {On schematological equivalence of dataflow networks},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {2},
PAGES = {154-167},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Yen/96a,
AUTHOR = {Yen, Hsu-Chun},
TITLE = {On the regularity of Petri net languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {2},
PAGES = {168-181},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Edalat/96,
AUTHOR = {Edalat, Abbas},
TITLE = {Power domains and iterated function systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {124},
NUMBER = {2},
PAGES = {182-197},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}