Search dblp for Publications

export results for "toc:db/journals/iandc/iandc119.bht:"

 download as .bib file

@article{DBLP:journals/iandc/AmirFIPS95,
  author       = {Amihood Amir and
                  Martin Farach and
                  Ramana M. Idury and
                  Johannes A. La Poutr{\'{e}} and
                  Alejandro A. Sch{\"{a}}ffer},
  title        = {Improved Dynamic Dictionary Matching},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {258--282},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1090},
  doi          = {10.1006/INCO.1995.1090},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/AmirFIPS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BarbaneraDL95,
  author       = {Franco Barbanera and
                  Mariangiola Dezani{-}Ciancaglini and
                  Ugo de'Liguoro},
  title        = {Intersection and Union Types: Syntax and Semantics},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {202--230},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1086},
  doi          = {10.1006/INCO.1995.1086},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BarbaneraDL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BergstraH95,
  author       = {Jan A. Bergstra and
                  Jan Heering},
  title        = {Homomorphism Preserving Algebraic Specifications Require Hidden Sorts},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {1},
  pages        = {119--123},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1079},
  doi          = {10.1006/INCO.1995.1079},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BergstraH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ChenT95,
  author       = {Zhi{-}Zhong Chen and
                  Seinosuke Toda},
  title        = {The Complexity of Selecting Maximal Solutions},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {231--239},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1087},
  doi          = {10.1006/INCO.1995.1087},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ChenT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Cosmo95,
  author       = {Roberto Di Cosmo},
  title        = {Second Order Isomorphic Types: {A} Proof Theoretic Study on Second
                  Order lambda-Calculus with Surjective Paring and Terminal Object},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {176--201},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1085},
  doi          = {10.1006/INCO.1995.1085},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Cosmo95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DawarLW95,
  author       = {Anuj Dawar and
                  Steven Lindell and
                  Scott Weinstein},
  title        = {Infinitary Logic and Inductive Definability over Finite Structures},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {160--175},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1084},
  doi          = {10.1006/INCO.1995.1084},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DawarLW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Dekkers95,
  author       = {Wil Dekkers},
  title        = {Inhabitation of Types in the Simply Typed Lambda Calculus},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {1},
  pages        = {14--17},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1074},
  doi          = {10.1006/INCO.1995.1074},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Dekkers95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FerrucciPS95,
  author       = {Filomena Ferrucci and
                  Giuliano Pacini and
                  Maria I. Sessa},
  title        = {Redundancy Elimination and Loop Checks for Logic Programs},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {137--153},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1082},
  doi          = {10.1006/INCO.1995.1082},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/FerrucciPS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GouyJ95,
  author       = {Xavier Gouy and
                  Ying Jiang},
  title        = {Universal Retractions on DI-Domains},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {252--257},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1089},
  doi          = {10.1006/INCO.1995.1089},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GouyJ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GradelM95,
  author       = {Erich Gr{\"{a}}del and
                  Gregory L. McColm},
  title        = {On the Power of Deterministic Transitive Closures},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {1},
  pages        = {129--135},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1081},
  doi          = {10.1006/INCO.1995.1081},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GradelM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Hagerup95,
  author       = {Torben Hagerup},
  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},
  url          = {https://doi.org/10.1006/inco.1995.1080},
  doi          = {10.1006/INCO.1995.1080},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Hagerup95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/HonsellMST95,
  author       = {Furio Honsell and
                  Ian A. Mason and
                  Scott F. Smith and
                  Carolyn L. Talcott},
  title        = {A Variable Typed Logic of Effects},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {1},
  pages        = {55--90},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1077},
  doi          = {10.1006/INCO.1995.1077},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HonsellMST95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KennawayKSV95,
  author       = {Richard Kennaway and
                  Jan Willem Klop and
                  M. Ronan Sleep and
                  Fer{-}Jan de Vries},
  title        = {Transfinite Reductions in Orthogonal Term Rewriting Systems},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {1},
  pages        = {18--38},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1075},
  doi          = {10.1006/INCO.1995.1075},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KennawayKSV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LodayaPRT95,
  author       = {Kamal Lodaya and
                  Rohit Parikh and
                  Ramaswamy Ramanujam and
                  P. S. Thiagarajan},
  title        = {A Logical Study of Distributed Transition Systems},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {1},
  pages        = {91--118},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1078},
  doi          = {10.1006/INCO.1995.1078},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LodayaPRT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MetivierR95,
  author       = {Yves M{\'{e}}tivier and
                  Gw{\'{e}}na{\"{e}}l Richomme},
  title        = {New Results on the Star Problem in Trace Monoids},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {240--251},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1088},
  doi          = {10.1006/INCO.1995.1088},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MetivierR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/NakayamaM95,
  author       = {Katsutoshi Nakayama and
                  Akira Maruoka},
  title        = {Loop Circuits and Their Relation to Razborov's Approximation Model},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {154--159},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1083},
  doi          = {10.1006/INCO.1995.1083},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/NakayamaM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Neiger95,
  author       = {Gil Neiger},
  title        = {Simplifying the Design of Knowledge-Based Algorithms Using Knowledge
                  Consistency},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {283--293},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1091},
  doi          = {10.1006/INCO.1995.1091},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Neiger95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/SeberryZZ95,
  author       = {Jennifer Seberry and
                  Xian{-}Mo Zhang and
                  Yuliang Zheng},
  title        = {Nonlinearity and Propagation Characteristics of Balanced Boolean Functions},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {1},
  pages        = {1--13},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1073},
  doi          = {10.1006/INCO.1995.1073},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/SeberryZZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Yamanishi95,
  author       = {Kenji Yamanishi},
  title        = {A Loss Bound Model for On-Line Stochastic Prediction Algorithms},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {1},
  pages        = {39--54},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1076},
  doi          = {10.1006/INCO.1995.1076},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Yamanishi95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.