Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/igpl/igpl6.bht:"
download as .bib file
@article{DBLP:journals/igpl/Avron98,
author = {Arnon Avron},
title = {Formulas for which Contraction is Admissible},
journal = {Log. J. {IGPL}},
volume = {6},
number = {1},
pages = {43--48},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.1.43},
doi = {10.1093/JIGPAL/6.1.43},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Avron98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Avron98a,
author = {Arnon Avron},
title = {Two Types of Multiple-Conclusion Systems},
journal = {Log. J. {IGPL}},
volume = {6},
number = {5},
pages = {695--717},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.5.695},
doi = {10.1093/JIGPAL/6.5.695},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Avron98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Battilotti98,
author = {Giulia Battilotti},
title = {Embedding Classical Logic into Basic Orthologic with a Primitive Modality},
journal = {Log. J. {IGPL}},
volume = {6},
number = {3},
pages = {383--402},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.3.383},
doi = {10.1093/JIGPAL/6.3.383},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Battilotti98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BimboD98,
author = {Katalin Bimb{\'{o}} and
J. Michael Dunn},
title = {Two Extensions of the Structurally Free Logic LC*},
journal = {Log. J. {IGPL}},
volume = {6},
number = {3},
pages = {403--424},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.3.403},
doi = {10.1093/JIGPAL/6.3.403},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BimboD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Bittencourt98,
author = {Guilherme Bittencourt},
title = {Concurrent Inference through Dual Transformation},
journal = {Log. J. {IGPL}},
volume = {6},
number = {6},
pages = {795--833},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.6.795},
doi = {10.1093/JIGPAL/6.6.795},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Bittencourt98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BlackburnT98,
author = {Patrick Blackburn and
Miroslava Tzakova},
title = {Hybrid Completeness},
journal = {Log. J. {IGPL}},
volume = {6},
number = {4},
pages = {625--650},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.4.625},
doi = {10.1093/JIGPAL/6.4.625},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BlackburnT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Bottner98,
author = {Michael B{\"{o}}ttner},
title = {A Collective Extension of Relational Grammar},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {175--193},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.175},
doi = {10.1093/JIGPAL/6.2.175},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Bottner98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DoornbosK98,
author = {Henk Doornbos and
Burghard von Karger},
title = {On the Union of Well-Founded Relations},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {195--201},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.195},
doi = {10.1093/JIGPAL/6.2.195},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DoornbosK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Duran98,
author = {Juan Eduardo Dur{\'{a}}n},
title = {Some Classes Containing a Fork Algebra Equivalent Variety Involving
Projections},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {203--226},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.203},
doi = {10.1093/JIGPAL/6.2.203},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Duran98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FermeR98,
author = {Eduardo L. Ferm{\'{e}} and
Ricardo Oscar Rodr{\'{\i}}guez},
title = {A Brief Note About Rott Contraction},
journal = {Log. J. {IGPL}},
volume = {6},
number = {6},
pages = {835--842},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.6.835},
doi = {10.1093/JIGPAL/6.6.835},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FermeR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FermullerL98,
author = {Christian G. Ferm{\"{u}}ller and
Alexander Leitsch},
title = {Decision Procedures and Model Building in Equational Clause Logic},
journal = {Log. J. {IGPL}},
volume = {6},
number = {1},
pages = {17--41},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.1.17},
doi = {10.1093/JIGPAL/6.1.17},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FermullerL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Finger98,
author = {Marcelo Finger},
title = {Towards Structurally-Free Theorem Proving},
journal = {Log. J. {IGPL}},
volume = {6},
number = {3},
pages = {425--449},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.3.425},
doi = {10.1093/JIGPAL/6.3.425},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Finger98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FrappierMD98,
author = {Marc Frappier and
Ali Mili and
Jules Desharnais},
title = {Unifying Program Construction and Modification},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {317--340},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.317},
doi = {10.1093/JIGPAL/6.2.317},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FrappierMD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FriasBH98,
author = {Marcelo F. Frias and
Gabriel Baum and
Armando Martin Haeberer},
title = {Representability and Program Construction within Fork Algebras},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {227--257},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.227},
doi = {10.1093/JIGPAL/6.2.227},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FriasBH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FriasH98,
author = {Marcelo F. Frias and
Armando Martin Haeberer},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {151--156},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.155},
doi = {10.1093/JIGPAL/6.2.155},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FriasH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayS98,
author = {Dov M. Gabbay and
Valentin B. Shehtman},
title = {Products of Modal Logics, Part 1},
journal = {Log. J. {IGPL}},
volume = {6},
number = {1},
pages = {73--146},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.1.73},
doi = {10.1093/JIGPAL/6.1.73},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Gore98,
author = {Rajeev Gor{\'{e}}},
title = {Substructural Logics on Display},
journal = {Log. J. {IGPL}},
volume = {6},
number = {3},
pages = {451--504},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.3.451},
doi = {10.1093/JIGPAL/6.3.451},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Gore98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Gore98a,
author = {Rajeev Gor{\'{e}}},
title = {Gaggles, Gentzen and Galois: How to display your favourite substructural
logic},
journal = {Log. J. {IGPL}},
volume = {6},
number = {5},
pages = {669--694},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.5.669},
doi = {10.1093/JIGPAL/6.5.669},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Gore98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GuerriniMM98,
author = {Stefano Guerrini and
Simone Martini and
Andrea Masini},
title = {An Analysis of (Linear) Exponentials Based on Extended Sequents},
journal = {Log. J. {IGPL}},
volume = {6},
number = {5},
pages = {735--753},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.5.735},
doi = {10.1093/JIGPAL/6.5.735},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GuerriniMM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hirsch98,
author = {Edward A. Hirsch},
title = {A Fast Deterministic Algorithm for Formulas That Have Many Satisfying
Assignments},
journal = {Log. J. {IGPL}},
volume = {6},
number = {1},
pages = {59--71},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.1.59},
doi = {10.1093/JIGPAL/6.1.59},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hirsch98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Indrzejczak98,
author = {Andrzej Indrzejczak},
title = {Cut-free Double Sequent Calculus for {S5}},
journal = {Log. J. {IGPL}},
volume = {6},
number = {3},
pages = {505--516},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.3.505},
doi = {10.1093/JIGPAL/6.3.505},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Indrzejczak98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kahl98,
author = {Wolfram Kahl},
title = {Relational Treatment of Term Graphs With Bound Variables},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {259--303},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.259},
doi = {10.1093/JIGPAL/6.2.259},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kahl98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KamareddineR98,
author = {Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
title = {Bridging de Bruijn Indices and Variable Names in Explicit Substitutions
Calculi},
journal = {Log. J. {IGPL}},
volume = {6},
number = {6},
pages = {843--874},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.6.843},
doi = {10.1093/JIGPAL/6.6.843},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/KamareddineR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KargerB98,
author = {Burghard von Karger and
Rudolf Berghammer},
title = {A Relational Model for Temporal Logic},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {157--173},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.157},
doi = {10.1093/JIGPAL/6.2.157},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KargerB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KonikowskaMO98,
author = {Beata Konikowska and
Charles G. Morgan and
Ewa Orlowska},
title = {A Relational Formalisation of Arbitrary Finite Valued Logics},
journal = {Log. J. {IGPL}},
volume = {6},
number = {5},
pages = {755--774},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.5.755},
doi = {10.1093/JIGPAL/6.5.755},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KonikowskaMO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Lehmann98,
author = {Daniel J. Lehmann},
title = {Stereotypical Reasoning: Logical Properties},
journal = {Log. J. {IGPL}},
volume = {6},
number = {1},
pages = {49--58},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.1.49},
doi = {10.1093/JIGPAL/6.1.49},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Lehmann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LopezB98,
author = {Pablo E. Mart{\'{\i}}nez L{\'{o}}pez and
Gabriel A. Baum},
title = {Fork Algebraic Datatypes},
journal = {Log. J. {IGPL}},
volume = {6},
number = {4},
pages = {531--543},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.4.531},
doi = {10.1093/JIGPAL/6.4.531},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/LopezB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Mikulas98,
author = {Szabolcs Mikul{\'{a}}s},
title = {Taming First-Order Logic},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {305--316},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.305},
doi = {10.1093/JIGPAL/6.2.305},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Mikulas98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MiragliaS98,
author = {Francisco Miraglia and
Ugo Solitro},
title = {Sheaves over Right Sided Idempotent Quantales},
journal = {Log. J. {IGPL}},
volume = {6},
number = {4},
pages = {545--600},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.4.545},
doi = {10.1093/JIGPAL/6.4.545},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MiragliaS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/NemetiS98,
author = {Istv{\'{a}}n N{\'{e}}meti and
G{\'{a}}bor S{\'{a}}gi},
title = {On the Equational Theory of Representable Polyadic Equality Algebras},
journal = {Log. J. {IGPL}},
volume = {6},
number = {1},
pages = {3--15},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.1.3},
doi = {10.1093/JIGPAL/6.1.3},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/NemetiS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Nonnengart98,
author = {Andreas Nonnengart},
title = {Modal Frame Characterization by Way of Auxiliary Modalities},
journal = {Log. J. {IGPL}},
volume = {6},
number = {6},
pages = {875--899},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.6.875},
doi = {10.1093/JIGPAL/6.6.875},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Nonnengart98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Pliuskeviciene98,
author = {Aida Pliuskeviciene},
title = {Extended Disjunction and Existence Properties for Some Predicate Modal
Logics},
journal = {Log. J. {IGPL}},
volume = {6},
number = {5},
pages = {775--787},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.5.775},
doi = {10.1093/JIGPAL/6.5.775},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Pliuskeviciene98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/QueirozF98,
author = {Ruy J. G. B. de Queiroz and
Marcelo Finger},
title = {Conference Report: Workshop on Logic, Language, Information and Computation
(WoLLIC'98)},
journal = {Log. J. {IGPL}},
volume = {6},
number = {6},
pages = {917--918},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.6.917},
doi = {10.1093/JIGPAL/6.6.917},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/QueirozF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/QueirozG98,
author = {Peter A. Flach and
Antonis C. Kakas and
Ruy J. G. B. de Queiroz and
K{\'{a}}tia Silva Guimaraes},
title = {Conference Report: Abduction and Induction in AI; Logic, Proofs and
Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation
{(LOCUS)}},
journal = {Log. J. {IGPL}},
volume = {6},
number = {4},
pages = {651--663},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.4.651},
doi = {10.1093/JIGPAL/6.4.651},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/QueirozG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Riguet98,
author = {Jaques Riguet},
title = {Deducibility and Exactness},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {341--347},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.341},
doi = {10.1093/JIGPAL/6.2.341},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Riguet98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Stefanescu98,
author = {Gheorghe Stefanescu},
title = {Reaction and Control I. Mixing Additive and Multiplicative Network
Algebras},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {348--369},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.349},
doi = {10.1093/JIGPAL/6.2.349},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Stefanescu98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Tzouvaras98,
author = {Athanassios Tzouvaras},
title = {The Linear Logic of Multisets},
journal = {Log. J. {IGPL}},
volume = {6},
number = {6},
pages = {901--916},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.6.901},
doi = {10.1093/JIGPAL/6.6.901},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Tzouvaras98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Vardi98,
author = {Moshe Y. Vardi},
title = {Computational Model Theory: An Overview},
journal = {Log. J. {IGPL}},
volume = {6},
number = {4},
pages = {601--623},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.4.601},
doi = {10.1093/JIGPAL/6.4.601},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Vardi98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Wansing98,
author = {Heinrich Wansing},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {6},
number = {3},
pages = {377--381},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.3.377},
doi = {10.1093/JIGPAL/6.3.377},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Wansing98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Wansing98a,
author = {Heinrich Wansing},
title = {Translation of Hypersequents into Display Sequents},
journal = {Log. J. {IGPL}},
volume = {6},
number = {5},
pages = {719--733},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.5.719},
doi = {10.1093/JIGPAL/6.5.719},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Wansing98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/X98,
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {6},
number = {1},
pages = {1--2},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.1.1},
doi = {10.1093/JIGPAL/6.1.1},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/X98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/X98a,
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {6},
number = {4},
pages = {529--530},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.4.529},
doi = {10.1093/JIGPAL/6.4.529},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/X98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/X98b,
author = {Heinrich Wansing},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {6},
number = {5},
pages = {667--668},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.5.667},
doi = {10.1093/JIGPAL/6.5.667},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/X98b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-26 04:28 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
