Automata theory and applications in logic and complexity Dagstuhl-Seminar-Report; 5 14.-18.1.1991(9103)

Automata theory and applications in logic and complexity Dagstuhl-Seminar-Report; 5 14.-18.1.1991(9103)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Berstel, Jean (Επιμελητής έκδοσης), Pin, Jean-Eric (Επιμελητής έκδοσης), Thomas, Wolfang (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Θέματα:	AUTOMATA COMPLEXITY THEORY FORMAL LANGUAGES IBFI Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού SEMINAR REPORT

Παρόμοια τεκμήρια

Automata theory:distributed models Dagstuhl-Seminar-Report; 54 11.01.-15.01.93(9302)

Descriptional complexity Dagstuhl-Seminar-Report; 63 03.05.-07.05.93(9318)

Structure and complexity theory Dagstuhl-Seminar-Report; 30 3.-7.2.92(9206)

Automata theory:infinite computations Dagstuhl-Seminar-Report; 28 6.-10.1.92(9202)

International workshop on terminological logics Dagstuhl-Seminar-Report; 12 6.5.-18.5.1991(9119)

Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)

Trends and applications in formal language theory Dagstuhl-Seminar-Report; 23 14.10.-18.10.91(9142)

Deduction Dagstuhl-Seminar-Report; 58 08.03.-12.03.93(9310)

Geometric modelling Dagstuhl-Seminar-Report; 67 28.06.-02.07.93(9326)

Informatik und philosopie Dagstuhl-Seminar-Report; 48 21.09.-25.09.92(9239)

Self-timed design Dagstuhl-Seminar-Report; 52 30.11.-04.12.92(9249)

Algorithms and complexity for continuous problems Dagstuhl-Seminar-Report; 50 12.10.-16.10.92(9242)

Analogical and inductive inference 1992 Dagstuhl-Seminar-Report; 49 05.10.-09.10.92(9241)

Formal aspects of object base dynamics Dagstuhl-Seminar-Report; 62 26.04.-30.04.93(9317)

Algebraic complexity and parallelism Dagstuhl-Seminar-Report; 41 20.-24.7.92(9230)

Tree adgjoining grammars 1st. International Workshop on TAGs: Formal theory and applications Dagstuhl-Seminar-Report 15. - 17.8.1990(9033)

Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)

Algorithms and complexity for continuous problems Dagstuhl-Seminar-Report; 11 15-19.4.1991(9116)

Complexity and realization of Boolean Functions Dagstuhl-Seminar-Report; 45 24.08.-28.08.92(9235)

Functional languages:optimization for parallelism Dagstuhl-Seminar-Report; 3 3.9.1990-8.9.1990(9036)

Entwerfen, Prufen, Testen Dagsthl-Seminar-Report; 6 18.2.1991-22.2.1991(9108)

Operating systems of the 90s and beyond Dagstuhl-Seminar-Report; 18 8.-12.7.1991(9128)

Geometric modelling Dagstuhl-Seminar-Report; 17 1.-5.7.1991(9127)

Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)

Experimental software engineering issues Dagstuhl-Seminar-Report; 47 14.09.-18.09.92(9238)

Efficient interpolation algorithms Dagstuhl-Seminar-Report; 26 2.-6.12.91(9149)

Molecular bioiformatics Dagstuhl-Seminar-Report; 46 07.09.-11.09.92(9237)

Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)

Software construction-Foundation and application Dagstuhl-Seminar-Report; 29 13.-17.1.92(9203)

Code generation-concerts, tools, techniques Dagstuhl-Seminar-Report; 13 20.-24.5.1991(9121)

"Average-Case"-Analysis of algorithms Dagstuhl-Seminar-Report; 68 12.07.-16.07.93(9328)

Randomized algorithms Dagstuhl-Seminar-Report; 14 10.-14.6.1991(9124)

Limits of information-technological models Dagstuhl-Seminar-Report; 31 10.-14.2.92(9207)

Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)

Programming enviroments Dagstuhl-Seminar-Report; 34 9.-13.3.92(9211)

Scientific visualization Dagstuhl-Seminar-Report; 19 26.8.-30.8.91(9135)

Computational geometry Dagstuhl-Seminar-Report; 22 07.10.-11.10.91(9141)

Data structures Dagstuhl-Seminar-Report; 25 4.11.-8.11.91(9145)

Computational geometry Dagstuhl-Seminar-Report; 59 22.03.-26.03.93(9312)

Distributed cooperation in integrated information systems Dagstuhl-Seminar-Report; 38 %.-9.4.92(9215)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_ugseac1l0ipajpg39j1er8unkb