BibTeX records: Joshua S. Hodas

download as .bib file

@inproceedings{DBLP:conf/csl/HodasLPSP02,
  author       = {Joshua S. Hodas and
                  Pablo L{\'{o}}pez and
                  Jeffrey Polakow and
                  Lubomira Stoilova and
                  Ernesto Pimentel},
  editor       = {Julian C. Bradfield},
  title        = {A Tag-Frame System of Resource Management for Proof Search in Linear-Logic
                  Programming},
  booktitle    = {Computer Science Logic, 16th International Workshop, {CSL} 2002, 11th
                  Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
                  22-25, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2471},
  pages        = {167--182},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45793-3\_12},
  doi          = {10.1007/3-540-45793-3\_12},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/HodasLPSP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LopezPHPS02,
  author       = {Pablo L{\'{o}}pez and
                  Ernesto Pimentel and
                  Joshua S. Hodas and
                  Jeffrey Polakow and
                  Lubomira Stoilova},
  editor       = {Frank Pfenning},
  title        = {Isolating Resource Consumption in Linear Logic Proof Search},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {1--10},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80502-4},
  doi          = {10.1016/S1571-0661(04)80502-4},
  timestamp    = {Tue, 06 Dec 2022 14:32:51 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LopezPHPS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijst/HodasSJDNB01,
  author       = {Joshua S. Hodas and
                  Neel Sundaresan and
                  Jared Jackson and
                  Brandon L. Duncan and
                  Walter I. Nissen and
                  Jude Battista},
  title        = {NOVeLLA: {A} Multi-Modal Electronic-Book Reader With Visual and Auditory
                  Interfaces},
  journal      = {Int. J. Speech Technol.},
  volume       = {4},
  number       = {3-4},
  pages        = {269--284},
  year         = {2001},
  url          = {https://doi.org/10.1023/A\%3A1011364825571},
  doi          = {10.1023/A\%3A1011364825571},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijst/HodasSJDNB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HodasT01,
  author       = {Joshua S. Hodas and
                  Naoyuki Tamura},
  editor       = {Rajeev Gor{\'{e}} and
                  Alexander Leitsch and
                  Tobias Nipkow},
  title        = {lolliCop - {A} Linear Logic Implementation of a Lean Connection-Method
                  Theorem Prover for First-Order Classical Logic},
  booktitle    = {Automated Reasoning, First International Joint Conference, {IJCAR}
                  2001, Siena, Italy, June 18-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2083},
  pages        = {670--684},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45744-5\_55},
  doi          = {10.1007/3-540-45744-5\_55},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HodasT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CervesatoHP00,
  author       = {Iliano Cervesato and
                  Joshua S. Hodas and
                  Frank Pfenning},
  title        = {Efficient resource management for linear logic proof search},
  journal      = {Theor. Comput. Sci.},
  volume       = {232},
  number       = {1-2},
  pages        = {133--163},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0304-3975(99)00173-5},
  doi          = {10.1016/S0304-3975(99)00173-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CervesatoHP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/HodasWTK98,
  author       = {Joshua S. Hodas and
                  K. M. Watkins and
                  Naoyuki Tamura and
                  Kyoung{-}Sun Kang},
  editor       = {Joxan Jaffar},
  title        = {Efficient Implementation of a Linear Logic Programming Language},
  booktitle    = {Proceedings of the 1998 Joint International Conference and Symposium
                  on Logic Programming, Manchester, UK, June 15-19, 1998},
  pages        = {145--159},
  publisher    = {{MIT} Press},
  year         = {1998},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/HodasWTK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lacl/Hodas97,
  author       = {Joshua S. Hodas},
  editor       = {Alain Lecomte and
                  Fran{\c{c}}ois Lamarche and
                  Guy Perrier},
  title        = {A Linear Logic Treatment of Phrase Structure Grammars for Unbounded
                  Dependencies},
  booktitle    = {Logical Aspects of Computational Linguistics, Second International
                  Conference, {LACL} '97, Nancy, France, September 22-24, 1997, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1582},
  pages        = {160--179},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-48975-4\_8},
  doi          = {10.1007/3-540-48975-4\_8},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/lacl/Hodas97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/CervesatoHP96,
  author       = {Iliano Cervesato and
                  Joshua S. Hodas and
                  Frank Pfenning},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Efficient Resource Management for Linear Logic Proof Search},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {67--81},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_5},
  doi          = {10.1007/3-540-60983-0\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/CervesatoHP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HodasP96,
  author       = {Joshua S. Hodas and
                  Jeffrey Polakow},
  editor       = {Jean{-}Yves Girard and
                  Mitsuhiro Okada and
                  Andre Scedrov},
  title        = {Forum as a Logic Programming Language},
  booktitle    = {Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo,
                  Japan, March 29 - April 2, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {3},
  pages        = {196--207},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)80418-9},
  doi          = {10.1016/S1571-0661(05)80418-9},
  timestamp    = {Fri, 11 Nov 2022 13:19:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HodasP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/HodasM94,
  author       = {Joshua S. Hodas and
                  Dale Miller},
  title        = {Logic Programming in a Fragment of Intuitionistic Linear Logic},
  journal      = {Inf. Comput.},
  volume       = {110},
  number       = {2},
  pages        = {327--365},
  year         = {1994},
  url          = {https://doi.org/10.1006/inco.1994.1036},
  doi          = {10.1006/INCO.1994.1036},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/HodasM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/Hodas93,
  author       = {Joshua S. Hodas},
  editor       = {Roy Dyckhoff},
  title        = {Logic Programming with Multiple Context Management Schemes},
  booktitle    = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
                  St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {798},
  pages        = {171--182},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-58025-5\_55},
  doi          = {10.1007/3-540-58025-5\_55},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Hodas93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Hodas92,
  author       = {Joshua S. Hodas},
  editor       = {Krzysztof R. Apt},
  title        = {Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming
                  Language},
  booktitle    = {Logic Programming, Proceedings of the Joint International Conference
                  and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
                  USA, November 1992},
  pages        = {622--636},
  publisher    = {{MIT} Press},
  year         = {1992},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Hodas92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/HodasM91,
  author       = {Joshua S. Hodas and
                  Dale Miller},
  title        = {Logic Programming in a Fragment of Intuitionistic Linear Logic},
  booktitle    = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
                  {(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
  pages        = {32--42},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/LICS.1991.151628},
  doi          = {10.1109/LICS.1991.151628},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/HodasM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/HodasM90,
  author       = {Joshua S. Hodas and
                  Dale Miller},
  editor       = {David H. D. Warren and
                  P{\'{e}}ter Szeredi},
  title        = {Representing Objects in a Logic Programming Langueage with Scoping
                  Constructs},
  booktitle    = {Logic Programming, Proceedings of the Seventh International Conference,
                  Jerusalem, Israel, June 18-20, 1990},
  pages        = {511--526},
  publisher    = {{MIT} Press},
  year         = {1990},
  timestamp    = {Mon, 13 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/HodasM90.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.