default search action

combined dblp search
author search
venue search
publication search

ask others

Informatique Théorique et Applications, Volume 22

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Informatique Théorique et Applications

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 22, Number 1, 1988

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Delahaye88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Delahaye88
Jean-Paul Delahaye:
Sémantique Logique Et Dénotationnelle Des Interpréteurs Prolog. 3-42
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Bozapalidis88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Bozapalidis88
Symeon Bozapalidis:
Sur Une Classe De Transformations D'Arbres. 43-47
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Guessarian88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Guessarian88
Irène Guessarian:
A Note On Fixpoint Techniques in Data Base Recursive Logic Programs. 49-56
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Garcia88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Garcia88
Françoise Garcia:
Étude Et Implémentation D'Un Système De Déduction Pour Logique Algorithmique. 57-92
- view
  authority control:
- export record
  dblp key:
  - journals/ita/MadlenerO88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/MadlenerO88
Klaus Madlener, Friedrich Otto:
Commutativity in Groups Presented By Finite Church-Rosser Thue Systems. 93-111
- view
  authority control:
- export record
  dblp key:
  - journals/ita/DuchampT88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/DuchampT88
Gérard Duchamp, Jean-Yves Thibon:
Bisections Reconnaissables. 113-128

Volume 22, Number 2, 1988

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Kfoury88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Kfoury88
A. J. Kfoury:
A Linear-Time Algorithm to Decide Whether A Binary Word Contains An Overlap. 135-145
- view
  authority control:
- export record
  dblp key:
  - journals/ita/MelkemiT88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/MelkemiT88
Lamine Melkemi, Maurice Tchuenté:
Un Réseau Linéaire Pour La Reconnaissance Des Mots Sans Carré. 147-161
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Wechler88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Wechler88
Wolfgang Wechler:
A Note On The Iteration of Infinite Matrices. 163-171
- view
  authority control:
- export record
  dblp key:
  - journals/ita/DurieuxS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/DurieuxS88
Jean-Louis Durieux, Emmanuel Saint-James:
Une Charpente De Semi-Unification. 173-226
- view
  authority control:
- export record
  dblp key:
  - journals/ita/BalcazarR88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/BalcazarR88
José L. Balcázar, David A. Russo:
Immunity and Simplicity in Relativizations of Probabilistic Complexity Classes. 227-244
- view
  authority control:
- export record
  dblp key:
  - journals/ita/CharrierR88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/CharrierR88
Pierre Charrier, Jean Roman:
Étude De La Séparation Et De L'Élimination Sur Une Famille De Graphes Quotients Déduite D'Une Méthode De Dissections Emboîtées. 245-265

Volume 22, Number 3, 1988

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Bellia88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Bellia88
Marco Bellia:
Logic and Functional Programming by Retractions. 271-310
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Leonard88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Leonard88
Martine Léonard:
A Property of Biprefix Codes. 311-318
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Salomaa88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Salomaa88
Kai Salomaa:
Yield-Languages Recognized by Alternating Tree Recognizers. 319-339
- view
  authority control:
- export record
  dblp key:
  - journals/ita/BellotS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/BellotS88
Patrick Bellot, Djamil Sarni:
Proposal for A Natural Formalization of Functional Programming Concepts. 341-360
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Gouyou-BeauchampsV88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Gouyou-BeauchampsV88
Dominique Gouyou-Beauchamps, Bernard Vauquelin:
Deux Propriétés Combinatoires Des Nombres De Schröder. 361-388

Volume 22, Number 4, 1988

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Bellia88a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Bellia88a
Marco Bellia:
Logic and Functional Programming by Retractions: Operational Semantics. 395-436
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Therien88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Therien88
Denis Thérien:
Categories Et Langages De Dot-Depth Un. 437-445
- view
  authority control:
- export record
  dblp key:
  - journals/ita/KriegelW88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/KriegelW88
Klaus Kriegel, Stephan Waack:
Lower Bounds on The Complexity of Real-Time Branching Programs. 447-459
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Jacob88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Jacob88
Gérard Jacob:
Genralized Cancellation-And-Permutation Properties, Regular Languages and Supports of Rational Series. 461-486
- view
  authority control:
- export record
  dblp key:
  - journals/ita/ChrobakS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/ChrobakS88
Marek Chrobak, Maciej Slusarek:
On Some Packing Problem Related to Dynamic Storage Allocation. 487-499

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.

last updated on 2026-08-11 23:03 CEST 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, funded, and maintained by:

Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.