48 Infos zu Carsten Grefe

2 Aktuelle Nachrichten

Carsten Grefe & Marcus Kracht. Adjunction Structures and Syntactic Domains. Arbeitspapiere des SFB 340, Bericht Nr. 80 (1996), 37pp. DVI (146kb); Postscript ...

Auf der Liege daneben „bearbeitet“ Florian Schäffler eine zweite Versuchsperson, den 40-jährigen Carsten Grefe. Man sieht deutlich den Unterschied in der Behandlung: Bei ihm ...

2 Profile in Sozialen Netzwerken

Berlin, Berlin, Germany

Contribute to aedoran/mathgene development by creating an account on GitHub.

2 Hobbys & Interessen

Carsten Grefe. In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1. CSLI Publications.

Carsten Grefe. Refinement Quantified Logics of Knowledge and Belief for Multiple Agents. James Hales, Tim French & Rowan Davies. On Modal Products with Th Logic of 'Elsewhere'. Christopher Hampson & Agi Kurucz. Many-Valued Hybrid Logic. Jens Hansen, Thoma

6 Bücher zum Namen

Übersetzer: aus dem Amerikanischen von Philip Zeitz und Carsten Grefe - - intern Deutsch - xxvii+652 S. 25 x 17 x 4 cm - Groß-Oktav 1300g. mit ...

Die Sprache der Maschinen aus der Reihe: Informatik Lehrbuch-Reihe. Finden Sie alle Bücher von Floyd, Robert W. und Richard Beigel. Bei der Büchersuchmaschine...

[64] Carsten Grefe. Fischer Servi's Intuitionistic Modal Logic and Its Extensions. PhD thesis, Freie Universit ̈at Berlin, [65] Gerrit Haas.

The architecture of the human language faculty has been one of the main foci of the linguistic research of the last half century. This branch of linguistics,...

4 Dokumente

Adjunction structures and syntactic domains by Carsten Grefe( Book ) 2 editions published in in English and held by 7 WorldCat member libraries ...

Die Finanzübersicht liegt den Anwesenden schriftlich vor. Herr Carsten Grefe berichtet über Einnahmen und Ausgaben des Vereins und gibt zusätzliche ...

Friday 16h h15: Carsten Grefe, On the finite model property of Fisher Servi's intuitionistic modal logic and some of its extensions. 17h h45: Dimitry ...

Wir bedanken uns für Ihr Verständnis und wünschen Ihnen alles Gute und Gesundheit. Mit freundlichen Grüßen. Ihre Honda Bank GmbH. Carsten Grefe.

2 Wissenschaftliche Publikationen

List of computer science publications by Carsten Grefe

List of computer science publications by Carsten Grefe Carsten Grefe: Fischer Servi's Intuitionistic Modal Logic has the Finite Model Property.

3 Allgemeine Veröffentlichungen

It also draws on an array of results the author has obtained together with Carsten Grefe, which are reported in [ 4 ] . Only after compsing this essay I have learnt that V. Shehtman has already used Thue-processes to obtain undecidability results; his results, however, have been published only in Russian. I wish to thank Herr Grefe as well as Frank Wolter, Rajeev Gor'e and Valentin

The easiest way to keep your publications page up to date

Carsten Grefe. 1 reference. stated in · Mathematics Genealogy Project · Marcus Kracht. 1 reference. stated in · Mathematics Genealogy Project.

1 Video- & Audioinhalte

Teile deine Videos mit Freunden, Verwandten oder der ganzen Welt

23 Webfunde aus dem Netz

HRB Charlottenburg Ust.-Id: DE Geschäftsführung: Dr. Carsten Grefe, Klaus Tiedemann, Samuel Dorner.

WebWerdegang von Carsten Grefe aus Berlin: Gesellschafter der Grundsatz Informationstechnologie GmbH. Kostenlose Registrierung. Carsten Grefe aus Berlin - …

WebDr. Carsten Grefe (Berlin) Dr. Burkhardt Herrmann (Cologne) Prof. Dr. Heinrich Herre (Leipzig) Prof. Dr. Marcus Kracht (Los Angeles) Prof. Dr. Detlev Seese (Karlsruhe) Prof. …

Fischer Servi's Intuitionistic Modal Logic has the Finite Model Property, Carsten Grefe, Topological Nexttime Logic , Bernhard Heinemann, On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place , Oliver Lemon and Ian Pratt,

Thomas Franz und Helmuth Kaehn und Florian Finkl (Karstadt Sports, Dresden) I Heiderose Grambow I Carsten Grefe I Ulla Hahn- Hoffmann I Sabine Harrington (media total, Berlin) I Joachim Hecker, Deutsche Botschaft Neu Delhi I Petra Henkel I Carmen Hintz I Gerhard Hirsch I Doris Hoffmann I Georg Hoffmann I Dagmar Hovestädt I Mirja Kaiser I Reimund Kern I Tobias Kniebe I Anita Kunze I Melanie

Carsten Grefe Fischer Servi's ... Modal Connectives and Intuitionistic Modal Logic with Respect to the Kripke Model. W.Boone. University of Illinois at Urbana-Champaign, USA Melvin Fitting Intuitionistic Logic, Model Theory, and Forcing. R.S

French translation by Daniel Krob, Le Langage des Machines, Paris, International Thomson, 1995, German translation by Philip Zeitz and Carsten Grefe, Die Sprache der Maschinen, Bonn, International Thomson,

It also draws on an array of results the author has obtained together with Carsten Grefe, which are reported in [ 4 ] . Only after compsing this essay I have learnt ...

CiteSeerX - Scientific documents that cite the following paper: Remarks on coreference

Ansprechpartner: Carsten Grefe. Durchwahl: Website: www.honda-bank.de. Unternehmensprofil. Gründungsjahr:

Dr. Carsten Grefe (Berlin) Dr. Burkhardt Herrmann (Cologne) Prof. Dr. Heinrich Herre (Leipzig) Prof. Dr. Marcus Kracht (Los Angeles) Prof. Dr. Detlev Seese ...

Elementare Grundlagen der Analysis. Former Doctoral Students: Dr. Carsten Grefe (Berlin): Dr. Burkhardt Herrmann (Cologne): Prof. Dr. Heinrich Herre (Leipzig) ...

weitere n Regelmäßige Information und Schulung der Vertragshändler Carsten Grefe Honda Bank GmbH Leiter Marketing Tel. 13 Soziales Engagement Die ...

Mit freundlichen Grüßen Ihre Honda Bank GmbH Carsten Grefe Leiter Marketing Rita Bebenroth Marketing Seite 6 von Jazz HR-V Civic 5- Türer und Limousine ...

CiteSeerX - Scientific documents that cite the following paper: Modale Logiken funktionaler Frames

Mit freundlichen Grüßen Ihre Honda Bank GmbH Carsten Grefe Leiter Marketing Thomas Storck Leiter Vertrieb Seite 4 von Motorrad Übersicht sprogramme ...

[15] Carsten Grefe. Modale Logiken funktionaler Frames. Master's thesis,. Dept. of Mathematics, FU Berlin, [16] Marcus Kracht.

· ... Martin Krüger-Holdack, Vater von zwei Grundschulkindern; Carsten Grefe und Karola Klatt, Eltern im Schülerladen Zehnfach und Simpel, ...

Gerd Brewka, Carsten Grefe, Ian Hodkinson, Marcus Kracht, Larisa Maksi-. mova, Maarten Marx, Hiroakira Ono, Vladimir Rybakov, Wolfgang Rauten-.