Where results make sense

About us   |   Why use us?   |   Reviews   |   PR   |   Contact us

Topic: Bergstra

    Note: these results are not from the primary (high quality) database.

Ads by Google

In the News (Mon 28 May 12)

EXECUTIVE POWER

Iran

ANALYSIS

Pakistan

Family compact

Citations: Module algebra - Bergstra, Heering, Klint (ResearchIndex) Bergstra, J.A.; Heering, J.; Klint, R. Module Algebra, Journal of the ACM 37, 2, 335-372. For a further analysis including a detailed proof (for the classical first order case) the reader is referred to [42] and [43] Some years later the important role of the Craig Interpolation property was independently observed by a group working with Bergstra Their algebra includes both modules (first order logic specifications) and signatures of modules (declarations of types, constants and functions) Our proposal adheres to the type free tradition of logic programming, and hence our signatures are simply sets of predicate names, as mentioned in.... citeseer.ifi.unizh.ch /context/26020/0   (5874 words)

DBLP: Jan A. Bergstra Jan A. Bergstra, Jan Willem Klop: Strong Normalization and Perpetual Reductions in the Lambda Calculus. Jan A. Bergstra, Jerzy Tiuryn: Algorithmic degrees of algebraic structures. Jan A. Bergstra, Jan Willem Klop: Verification of an alternating bit protocol by means of process algebra. www.vldb.org /dblp/db/indices/a-tree/b/Bergstra:Jan_A=.html   (1541 words)

Bergstraße - Wikipedia, the free encyclopedia Bergstraße ("Mountain Road") is the name of a mountain route, and the area around it, which stretches across the western edge of the Odenwald in southern Hesse, Germany. The Bergstraße is famous for its almond trees which thrive in the area and bloom as early as March. The name "Bergstraße" also refers to the dictrict Kreis Bergstraße, the independent viticultural region of Hessische Bergstraße and the Badische Bergstraße in the Baden wine-growing area. en.wikipedia.org /wiki/Bergstra%C3%9Fe   (631 words)

Kreis Bergstraße - Wikipedia Bei der Kreisreform wurde der Kreis Bergstraße nochmals geringfügig verändert. Der nördliche Teil dieser Strecke führt durch den Kreis Bergstraße. Namensgebend ist die Bergstraße, eine touristische Route, die von Darmstadt nach Süden bis nach Wiesloch in Baden-Württemberg führt. de.wikipedia.org /wiki/Kreis_Bergstra%C3%9Fe   (305 words)

Bochvar-McCarthy Logic and Process Algebra, Jan A. Bergstra, Alban Ponse [6] Bergstra, J. A., and J. Klop, ``The algebra of recursively defined processes and the algebra of regular processes,'' pp. [9] Bergstra, J. A., and A. Ponse, ``Process algebra with five-valued conditions,'' pp. [5] Bergstra, J. Bethke, and P. Rodenburg, ``A propositional logic with 4 values: true, false, divergent and meaningless,'' Journal of Applied Non-Classical Logics, vol. projecteuclid.org /getRecord?id=euclid.ndjfl/1039118863   (601 words)

Citations: Process Algebra for Synchronous Communication - Bergstra, Klop (ResearchIndex) Bergstra, J. and Klop, J. Process algebra for synchronous communication. Bergstra, J., Klop, J.: Process algebra for synchronous communication. , Bergstra Klop 85, Hennessy 87, Castellani Hennessy 89] For CCS, however, it is a result that any sound and complete axiomatisation for any process equivalence, which is at least as strong as, is of necessity infinite [Moller 89] This explains why the expansion law is taken apart from any. citeseer.ifi.unizh.ch /context/20795/0   (3100 words)

Citebase - Compiling Language Definitions: The ASF+SDF Compiler Bergstra, J. and van den Brand, M. Syntax and semantics of a high-level intermediate representation of ASF+SDF. Bergstra, J. A., Dinesh, T. B., Field, J., and Heering, J. Toward a complete transformational toolkit for compilers. Bergstra, J. A., Heering, J., and Klint, P., Eds. www.citebase.org /cgi-bin/citations?id=oai:arXiv.org:cs/0007008   (1675 words)

Citations: Klop: Process Algebra for Synchronous Communication - Bergstra (ResearchIndex) Bergstra, J.A., and J.W. Klop: Process Algebra for Synchronous Communication. Bergstra, J. Klop: Process Algebra for Synchronous Communication, Information and Computation, Vol. As before, the symbol is the non deterministic choice while p 1 Delta 2 represents the sequential composition of p 1 and p 2.... citeseer.ist.psu.edu /context/119434/0   (768 words)

DBLP: Inge Bethke Jan A. Bergstra, Inge Bethke, Piet Rodenburg: A propositional logic with 4 values: true, false, divergent and meaningless. Jan A. Bergstra, Inge Bethke, Alban Ponse: Process Algebra with Iteration and Nesting. Jan A. Bergstra, Inge Bethke: Polarized process algebra with reactive composition. dblp.uni-trier.de /db/indices/a-tree/b/Bethke:Inge.html   (178 words)

Applications of Process Algebra - Cambridge University Press An introduction to process algebra J. Bergstra and J. Klop; 2. A process creation mechanism in process algebra J. Bergstra; 6. Bergstra, J. Klop, F. Vaandrager, E. Nieuwland, S. Maauw, L. Kossen, W. Weijland, J. Mulder, C. Koymans www.cambridge.org /uk/catalogue/catalogue.asp?isbn=0521607507   (303 words)

The Journal of Logic and Algebraic Programming. J.A. Bergstra, A. Ponse, Combining programs and state machines, The Journal of Logic and Algebraic Programming 51 (2) (2002) pp. J.A. Bergstra, I. Bethke, Molecular dynamics, The Journal of Logic and Algebraic Programming 51 (2) (2002) pp. J.A. Bergstra, M.E. Loots, Program algebra for sequential code, The Journal of Logic and Algebraic Programming 51 (2) (2002) pp. www1.elsevier.com /cdweb/journals/15678326/viewer.htt?viewtype=authors   (601 words)

European Business Network - Beitrag Der Wirtschaftsstandort Bergstraße liegt somit in einer der stärksten Wirtschaftsregionen Deutschlands und profitiert aufgrund seiner Lage sowohl vom Rhein-Neckar-Ballungsraum wie auch vom Rhein-Main-Gebiet und dessen internationaler Ausrichtung. Der Landkreis Bergstraße ist der südlichste der 21 Landkreise in Hessen. Es zeigt sich, dass der Kreis Bergstraße eine Schnittstelle der Region ist, ein Scharnier zwischen den Ballungsräumen Rhein-Neckar und Rhein-Main und den angrenzenden Bundesländern. www.ebn24.biz /?page=3&id=302&projekt=68&seite=1&sprach_id=1&land=&st_id=8   (639 words)

John Field's Home Page Jan Bergstra, John Field, Jan Heering, and T.B. Dinesh, Toward a Complete Transformational Toolkit for Compilers, IBM Research Report RC 20342, IBM T.J. Watson Research Center, 1996. Jan Bergstra, John Field, Jan Heering, and T.B. Dinesh, Toward a Complete Transformational Toolkit for Compilers, ACM Transactions on Program Languages and Systems 19(5), September 1997. Jan Bergstra, John Field, Jan Heering, and T.B. Dinesh, A Complete Transformational Toolkit for Compilers, In Proc. researchweb.watson.ibm.com /people/j/jfield   (621 words)

Frauen Kreis Bergstraße - Statistik meinestadt.de Kreis Bergstraße Frauenleben im Kreis Bergstraße dauern damit statistisch gesehen 1.570,6 Tage länger als das von Männern. Frauenarbeitslosigkeit: So stellt sich im Kreis Bergstraße die Situation für Frauen dar Lebenserwartung: So alt werden die Frauen im Kreis Bergstraße www.meinestadt.de /kreis-bergstrasse/statistik?Bereich=Frauen   (224 words)

Kreis Bergstraße Der Kreis Bergstraße ist der südlichste der 21 Landkreise in Hessen. Er ist geprägt durch die Konstellation von Ried, Bergstraße, Odenwald und Neckartal. Dies bedeutet landschaftliche und kulturelle Vielfalt, aber auch leistungsstarke und moderne Wirtschaft. www.wirtschaft-starkenburg.de /index.php?id=146   (52 words)

Staatliches Schulamt für den Kreis Bergstraße und den Odenwaldkreis Staatliches Schulamt für den Kreis Bergstraße und den Odenwaldkreis Staatliches Schulamt für den Landkreis Bergstraße und den Odenwaldkreis schulamt-bergstrasse.bildung.hessen.de   (36 words)

Echo Online - Kreis Bergstraße zieht Optionsmodell In Zusammenarbeit mit der Kreishandwerkerschaft Bergstraße (KHB) soll – wie vom Gesetz vorgeschrieben – allen unter 25 Jahre alten Arbeitslosen ein Angebot gemacht werden. Erster Kreisbeigeordneter Lehmberg, der als Kämmerer auch für die Finanzen zuständig ist, geht von einer Nettobelastung von jährlich sechs bis acht Millionen Euro aus, die auf den Kreis Bergstraße zukommen wird. Der SPD-Fraktionsvorsitzende Norbert Schmitt war schon in der vergangenen Woche davon ausgegangen, dass der Kreis nach dem Optionsmodell verfahren kann, hatte aber gleichzeitig gewarnt: „Wir wissen, der Kreis ist nicht gerüstet für Hartz IV“. www.echo-online.de /suedhessen/detail.php3?id=258905   (522 words)

Hotel- und Gaststättenverband Kreis Bergstraße e.V. im UNESCO Geopark Nibelungenland - CDH-Service EMIG Nach Auflösung der Sterbekasse oder mit Auflösung des Hotel- und Gaststättenverband Kreis Bergstraße e.V. wird der aus Rücklagen von Mitgliedsbeiträgen gebildete Fond in voller Höhe gemeinnützigen Zwecken zugefügt. Die "Sterbekasse für den Hotel- und Gaststättenverband Kreis BergStraße hat ihren Sitz in der Kreisgeschäftsstelle in Heppenheim (Bergstraße). Mit Auflösung des Hotel- und Gaststättenverbandes Kreis Bergstraße e.V. gilt ohne besonderen Beschluss auch die Sterbekasse als aufgelöst. www.hoga-bergstrasse.de /index.php3?seite=sterbekasse   (469 words)

eBay - Wandern im Odenwald und an der Bergstra e DuMont a... items on eBay.com Wandern im Odenwald und an der Bergstra e DuMont a... Note: We recently made changes to enable you to view eBay search pages faster. Save this search to Favorites and get an email when new matching listings appear on eBay. product.ebay.com /Wandern-im-Odenwald-und-an-der-Bergstra-e-DuMont-a...   (136 words)

Process Algebra with Timing: Real Time and Discrete Time - Baeten, Middelburg (ResearchIndex) In J.A. Bergstra, A. Ponse, and S.A. Smolka, editors, Handbook of Process Algebra. 23 Discrete time process algebra with abstraction (context) - Baeten, Bergstra - 1995 99 Discrete time process algebra (context) - Baeten, Bergstra - 1996 sherry.ifi.unizh.ch /282873.html   (938 words)

Algebraic Specification:0201416352:Bergstra, J. A.; Heering, J.; Klint, P. :eCampus.com Author(s): Bergstra, J. Heering, J. Klint, P. Format: Hardcover This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software. www.ecampus.com /book/0201416352   (42 words)

Hessen investierte mehr als 172 Mio Euro in Hochwasserschutz und Altlastensanierung - MdL Dr. Lennert: Auch der Kreis Bergstraße profitierte davon - (Bergstraße, 04.01.2005) (Bergstraße, 04.01.2005) Auf eine erfolgreiche Bilanz im Bereich der Umweltpolitik wies der CDU-Landtagsabgeordnete Dr. Peter Lennert bei einem Besuch der CDU- Stadtverordnetenfraktion in Lampertheim hin. Hessen investierte mehr als 172 Mio Euro in Hochwasserschutz und Altlastensanierung - MdL Dr. Lennert: Auch der Kreis Bergstraße profitierte davon - (Bergstraße, 04.01.2005) Euro, die das Hessische Umweltministerium für Investitionen der Kommunen oder des Landes Hessen für Reinhaltung der Gewässer, den Schutz des Bodens, zur Bewahrung der Bürger vor Hochwasser und die Altlastensanierung im Jahr 2004 ausgegeben habe, profitiere auch zahlreiche Projekte im Kreis Bergstraße und im speziellen Lampertheim. www.peter-lennert.de /presse/2005/20050104.html   (260 words)

Günstige Zeltplätze in Hessen Kreis Bergstraße Günstige Zeltplätze in Hessen Kreis Bergstraße Campingplätze Deutschland : Camping Raum Frankenberg Eder wuerdest nirgendwo - günstiger Campingplatz in Hessen Zwingenberg Bergstraße - günstige Campingplätze in Wehrheim Camping Duitsland natuur reizen kuurcamping Duitsland günstige Campingplätze in Wehrheim wattens_camping Camping Raum Lahnau Campingplätze Deutschland : Camping Raum Frankenberg Eder Erholungsurlaub in Deutschland Cornberg Luxuscampingplatz in Lauterbach Hessen Urlaub in Solms günstiger Campingplatz in Hessen Zwingenberg Bergstraße Camping Raum Lahnau Günstige Zeltplätze in Hessen Kreis Bergstraße Campingplätze Deutschland : Camping Raum Frankenberg Eder Camping in Breuberg www.urlaub-und-camping.de /lochen_zelt/wattens_camping/gladbac_camping.html   (93 words)

Unterstützung für die Retter Bergstrasse-Evangelisch.de Weitere Informationen bei der Leiterin der Notfallseelsorge Kreis Bergstraße, Pfarrerin Barbara Tarnow, Telefon (06252) 6733-54 oder (06257) 63173, E-Mail: tarnow@haus-der-kirche.de. Unterstützt wird die NFS durch die evangelische und katholische Kirche, durch Rettungsdienste und Feuerwehren sowie Technisches Hilfswerk und den Kreis Bergstraße. Eine Hilfe für Betroffene bietet die Notfallseelsorge im Kreis Bergstraße an. www.evangelische-bergstrasse-mitte.de /aktuell/041016.html   (295 words)

Kreis Bergstraße - definition erklärung bedeutung glossar zu Kreis Bergstraße Kreis Bergstraße Definitionen, Erklärungen sowie Bedeutungen zu Kreis Bergstraße Kreis Bergstraße - definition erklärung bedeutung glossar zu Kreis Bergstraße [ Kreis Bergstraße - definition - erklärung - bedeutung - glossar - Impressum ] www.adlexikon.de /Kreis_Bergstrasse.shtml   (181 words)

tanzschule kretzschmar :: tanzen in heppenheim kreis bergstraße Zu unserem Einzugsgebiet zählen wir den gesamten Kreis Bergstraße (Bensheim, Zwingenberg, Lautertal, Lampertheim, Bürstadt, Fürth, Rimbach, Mörlenbach, Birkenau), aber auch die angrenzenden Kreise wie Darmstadt-Dieburg, Mannheim, Heidelberg (mit Weinheim, Hemsbach, Laudenbach, Sulzbach, Seeheim Jugenheim) oder den Odenwald-Kreis (mit Erbach, Reichelsheim, Lindenfels), eigentlich ganz Südhessen und Nord Baden-Württemberg. tanzschule kretzschmar :: tanzen in heppenheim kreis bergstraße www.tshp.de   (198 words)

Bergstraße I. Kulturdenkmäler in Hessen Test & Preisvergleich - Informieren & Kaufen bei Yopi.de Produktbeschreibung Bergstraße I. Kulturdenkmäler in Hessen (gebundene Ausgabe) von Griesbach-Maisant, Dieter Es gibt leider noch keine Testberichte über Bergstraße I. Kulturdenkmäler in Hessen momentan. Testberichte (0) über Bergstraße I. Kulturdenkmäler in Hessen (gebundene Ausgabe) von Griesbach-Maisant, Dieter www.yopi.de /Griesbach_Maisant_Dieter_Bergstrasse_I_Kulturdenkmaeler_in_Hessen_Kunst_Architektur   (241 words)

Kreis Bergstraße - Übersicht zum Thema Kreis Bergstraße Kreis Bergstraße - Übersicht zum Thema Kreis Bergstraße www.webring.goms.de /index.php?cat=208   (40 words)

main.bbl \bibitem{BFM95a} J.A. Bergstra, W.J. Fokkink, and C.A. Middelburg. \bibitem{BFM95b} J.A. Bergstra, W.J. Fokkink, and C.A. Middelburg. www.iist.unu.edu /newrh/II/2/1/3/main.bbl   (184 words)

Try your search on: Qwika (all wikis)

About us   |   Why use us?   |   Reviews   |   Press   |   Contact us   Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.