Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
STACS 84: Symposium of Theoretical Aspects of Computer Science Paris, 11–13, 1984
1984
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Algebre de machines et logique temporelle
STACS 84, 2005, p.287-298
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible
STACS 84, 2005, p.97-108
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Bornes inferieures sur la complexite des facteurs des mots infinis engendres par morphismes iteres
STACS 84, 2005, p.230-240
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automates a pile sur des alphabets infinis
STACS 84, 2005, p.260-273
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Blocage et vivacité dans les réseaux a pile-file
STACS 84, 2005, p.151-162
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On expressive interpretations of a Hoare-logic for Clarke's language L4
STACS 84, 2005, p.73-84
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A property of three-element codes
STACS 84, 2005, p.305-313
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Algebraic and topological theory of languages and computation: Part I: Theorems for arbitrary languages generalizing the theorems of eilenberg, kleene, schützenberger and straubing
STACS 84, 2005, p.299-304
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On the structure of polynomial time degrees
STACS 84, 1984-01, p.198-208
1984
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A new definition of morphism on Petri nets: Extended abstract
STACS 84, 2005, p.140-150
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Covering polygons with minimum number of rectangles: Christos levcopoulos
STACS 84, 2005, p.63-72
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Locally synchronous complexity in the light of the trans-box method: Extended abstract
STACS 84, 2005, p.129-139
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Approximation schemes for covering and packing problems in robotics and vlsi: Extended abstract
STACS 84, 2005, p.55-62
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Logic programs and many-valued logic: A fuller version of this paper can be obtained as a report from the address below
STACS 84, 2005, p.274-286
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Some recent results on squarefree words
STACS 84, 1984, p.14-25
1984
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Polynomial time inference of general pattern languages
STACS 84, 1984, p.314-325
1984
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Pusdown space complexity and related full-A.F.L.s
STACS 84, 1984, p.250-259
1984
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Computing the largest empty rectangle
STACS 84, 1984, p.43-54
1984
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Higher order data structures: Cartesian closure versus λ-calculus
STACS 84, 1984, p.174-185
1984
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Denotational semantics of concurrent programs with shared memory
STACS 84, 1984, p.163-173
1984
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Transformations realizing fairness assumptions for parallel programs
STACS 84, 1984, p.26-42
1984
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On a general weight of trees
STACS 84, 1984, p.109-120
1984
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On extendibility of unavoidable sets
STACS 84, 1984, p.326-338
1984
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Key-problems and key-methods in computational geometry
STACS 84, 1984, p.1-13
1984
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 40
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen