Search dblp for Publications

export results for "toc:db/journals/tocl/tocl3.bht:"

 download as .bib file

@article{DBLP:journals/tocl/AbadiLP02,
  author       = {Mart{\'{\i}}n Abadi and
                  Leonid Libkin and
                  Frank Pfenning},
  title        = {Editorial},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {3},
  pages        = {335--335},
  year         = {2002},
  url          = {https://doi.org/10.1145/507382.507383},
  doi          = {10.1145/507382.507383},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/AbadiLP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/AehligS02,
  author       = {Klaus Aehlig and
                  Helmut Schwichtenberg},
  title        = {A syntactical analysis of non-size-increasing polynomial time computation},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {3},
  pages        = {383--401},
  year         = {2002},
  url          = {https://doi.org/10.1145/507382.507386},
  doi          = {10.1145/507382.507386},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/AehligS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/AspertiR02,
  author       = {Andrea Asperti and
                  Luca Roversi},
  title        = {Intuitionistic Light Affine Logic},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {1},
  pages        = {137--175},
  year         = {2002},
  url          = {https://doi.org/10.1145/504077.504081},
  doi          = {10.1145/504077.504081},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/AspertiR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BonattiO02,
  author       = {Piero A. Bonatti and
                  Nicola Olivetti},
  title        = {Sequent calculi for propositional nonmonotonic logics},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {2},
  pages        = {226--278},
  year         = {2002},
  url          = {https://doi.org/10.1145/505372.505374},
  doi          = {10.1145/505372.505374},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BonattiO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BonoBC02,
  author       = {Viviana Bono and
                  Michele Bugliesi and
                  Silvia Crafa},
  title        = {Typed interpretations of extensible objects},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {4},
  pages        = {562--603},
  year         = {2002},
  url          = {https://doi.org/10.1145/566385.566389},
  doi          = {10.1145/566385.566389},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/BonoBC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BravettiG02,
  author       = {Mario Bravetti and
                  Roberto Gorrieri},
  title        = {Deciding and axiomatizing weak {ST} bisimulation for a process algebra
                  with recursion and action refinement},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {4},
  pages        = {465--520},
  year         = {2002},
  url          = {https://doi.org/10.1145/566385.566386},
  doi          = {10.1145/566385.566386},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BravettiG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BryantV02,
  author       = {Randal E. Bryant and
                  Miroslav N. Velev},
  title        = {Boolean satisfiability with transitivity constraints},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {4},
  pages        = {604--627},
  year         = {2002},
  url          = {https://doi.org/10.1145/566385.566390},
  doi          = {10.1145/566385.566390},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/BryantV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BussK02,
  author       = {Samuel R. Buss and
                  Bruce M. Kapron},
  title        = {Resource-bounded continuity and sequentiality for type-two functionals},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {3},
  pages        = {402--417},
  year         = {2002},
  url          = {https://doi.org/10.1145/507382.507387},
  doi          = {10.1145/507382.507387},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BussK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/DanosH02,
  author       = {Vincent Danos and
                  Russell Harmer},
  title        = {Probabilistic game semantics},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {3},
  pages        = {359--382},
  year         = {2002},
  url          = {https://doi.org/10.1145/507382.507385},
  doi          = {10.1145/507382.507385},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/DanosH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/DoniniNR02,
  author       = {Francesco M. Donini and
                  Daniele Nardi and
                  Riccardo Rosati},
  title        = {Description logics of minimal knowledge and negation as failure},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {2},
  pages        = {177--225},
  year         = {2002},
  url          = {https://doi.org/10.1145/505372.505373},
  doi          = {10.1145/505372.505373},
  timestamp    = {Thu, 02 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/DoniniNR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/GivanM02,
  author       = {Robert Givan and
                  David A. McAllester},
  title        = {Polynomial-time computation via local inference relations},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {4},
  pages        = {521--541},
  year         = {2002},
  url          = {https://doi.org/10.1145/566385.566387},
  doi          = {10.1145/566385.566387},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/GivanM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/GottlobGV02,
  author       = {Georg Gottlob and
                  Erich Gr{\"{a}}del and
                  Helmut Veith},
  title        = {Datalog {LITE:} a deductive query language with linear time model
                  checking},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {1},
  pages        = {42--79},
  year         = {2002},
  url          = {https://doi.org/10.1145/504077.504079},
  doi          = {10.1145/504077.504079},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/GottlobGV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/GradelHO02,
  author       = {Erich Gr{\"{a}}del and
                  Colin Hirsch and
                  Martin Otto},
  title        = {Back and forth between guarded and modal logics},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {3},
  pages        = {418--463},
  year         = {2002},
  url          = {https://doi.org/10.1145/507382.507388},
  doi          = {10.1145/507382.507388},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/GradelHO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/GroheS02,
  author       = {Martin Grohe and
                  Luc Segoufin},
  title        = {On first-order topological queries},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {3},
  pages        = {336--358},
  year         = {2002},
  url          = {https://doi.org/10.1145/507382.507384},
  doi          = {10.1145/507382.507384},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/GroheS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/KaminskiR02,
  author       = {Michael Kaminski and
                  Guy Rey},
  title        = {Revisiting quantification in autoepistemic logic},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {4},
  pages        = {542--561},
  year         = {2002},
  url          = {https://doi.org/10.1145/566385.566388},
  doi          = {10.1145/566385.566388},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/KaminskiR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/LuttgenM02,
  author       = {Gerald L{\"{u}}ttgen and
                  Michael Mendler},
  title        = {The intuitionism behind Statecharts steps},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {1},
  pages        = {1--41},
  year         = {2002},
  url          = {https://doi.org/10.1145/504077.504078},
  doi          = {10.1145/504077.504078},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/LuttgenM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/McDowellM02,
  author       = {Raymond McDowell and
                  Dale Miller},
  title        = {Reasoning with higher-order abstract syntax in a logical framework},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {1},
  pages        = {80--136},
  year         = {2002},
  url          = {https://doi.org/10.1145/504077.504080},
  doi          = {10.1145/504077.504080},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/McDowellM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/TuckerZ02,
  author       = {John V. Tucker and
                  Jeffery I. Zucker},
  title        = {Abstract computability and algebraic specification},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {2},
  pages        = {279--333},
  year         = {2002},
  url          = {https://doi.org/10.1145/505372.505375},
  doi          = {10.1145/505372.505375},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/TuckerZ02.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.