Cargando…

Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays

Detalles Bibliográficos
Autores principales:	Probst, Christian W, Hankin, Chris, Hansen, René Rydhof
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2761649

Ejemplares similares

Modeled, tested, trusted: essays dedicated to Ed Brinksma on the occasion of his 60th birthday
por: Katoen, Joost-Pieter, et al.
Publicado: (2017)

Jervell and Lange-Nielson Syndrome masquerading as intractable epilepsy
por: Goyal, Jagdish P., et al.
Publicado: (2012)

Filler Models Revisited: Extension of the Nielson Model with Respect to the Geometric Arrangements of Fillers
por: Macher, Johannes, et al.
Publicado: (2022)

Plasma and the universe: dedicated to professor Hannes Alfvén on the occasion of his 80th birthday, 30 may 1988
por: Fälthammar, Carl-Gunne, et al.
Publicado: (1988)

Inspired by nature: essays presented to Julian F. Miller on the occasion of his 60th birthday
por: Stepney, Susan, et al.
Publicado: (2017)

Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday
por: Martí-Oliet, Narciso, et al.
Publicado: (2015)

Categories and types in logic, language, and physics: essays dedicated to Jim Lambek on the occasion of this 90th birthday
por: Casadio, Claudia, et al.
Publicado: (2014)

Fields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
por: Beklemishev, Lev D, et al.
Publicado: (2015)

Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of his 60th birthday
por: Lutz, Carsten, et al.
Publicado: (2019)

Advances in knowledge representation, logic programming, and abstract argumentation: essays dedicated to Gerhard Brewka on the occasion of his 60th birthday
por: Eiter, Thomas, et al.
Publicado: (2015)

The new codebreakers: essays dedicated to david kahn on the occasion of his 85th birthday
por: Ryan, Peter Y A, et al.
Publicado: (2016)

Computability and complexity: essays dedicated to Rodney G. Downey on the occasion of his 60th birthday
por: Day, Adam, et al.
Publicado: (2016)

Niels Bohr and the development of physics: essays dedicated to Niels Bohr on the occasion of his seventieth birthday
por: Pauli, Wolfgang Ernst Friederich, et al.
Publicado: (1955)

Problems of theoretical physics: essays dedicated to Nikolai N. Bogolubov on the occasion of his sixtieth birthday
por: Blokhintsev, Dmitrii Ivanovich, et al.
Publicado: (1969)

Models, mindsets, meta: essays dedicated to Bernhard Steffen on the occasion of his 60th birthday
por: Margaria, Tiziana, et al.
Publicado: (2019)

Dependable and historic computing: essays dedicated to Brian Randell on the occasion of his 75th birthday
por: Jones, Cliff B, et al.
Publicado: (2011)

Principles of modeling: essays dedicated to Edward A. Lee on the occasion of his 60th birthday
por: Lohstroh, Marten, et al.
Publicado: (2018)

A new species of the leafhopper genus Calodia Nielson, 1982 (Hemiptera, Cicadellidae, Coelidiinae) from China, with a key to Chinese species
por: Fan, Zhihua, et al.
Publicado: (2014)

Two new species of the leafhopper genus Calodia Nielson (Hemiptera, Cicadellidae, Coelidiinae) from China, with a checklist and key to Chinese species
por: Wang, Xian-Yi, et al.
Publicado: (2021)

Topics in operator theory and interpolation: essays dedicated to M S Livsic on the occasion of his 70th birthday
por: Gohberg, I
Publicado: (1988)

Language, culture, computation: essays dedicated to Yaacov Choueka on the occasion of his 75 birthday, part III
por: Dershowitz, Nachum, et al.
Publicado: (2014)

Language, culture, computation: essays dedicated to Yaacov Choueka on the occasion of his 75 birthday, part II
por: Dershowitz, Nachum, et al.
Publicado: (2014)

Language, culture, computation: essays dedicated to Yaacov Choueka on the occasion of his 75 birthday, part I
por: Dershowitz, Nachum, et al.
Publicado: (2014)

The art of modelling computational systems: essays dedicated to catuscia palamidessi on the occasion of her 60th birthday
por: Alvim, Mário S, et al.
Publicado: (2019)

From database to cyber security: essays dedicated to Sushil Jajodia on the occasion of his 70th birthday
por: Samarati, Pierangela, et al.
Publicado: (2018)

Correction: Nielson et al. Similarity Downselection: Finding the n Most Dissimilar Molecular Conformers for Reference-Free Metabolomics. Metabolites 2023, 13, 105
por: Nielson, Felicity F., et al.
Publicado: (2023)

Programming languages with applications to biology and security: essays dedicated to pierpaolo degano on the occasion of his 65th birthday
por: Bodei, Chiara, et al.
Publicado: (2015)

Multivariate algorithmic revolution and beyond: essays dedicated to Michael R. Fellows on the occasion of his 60th birthday
por: Hutchison, David, et al.
Publicado: (2012)

Embedded, cyber-physical, and IoT systems: essays dedicated to Marilyn Wolf on the occasion of her 60th birthday
por: Bhattacharyya, Shuvra S, et al.
Publicado: (2019)

Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday
por: Ábrahám, Erika, et al.
Publicado: (2016)

Space-efficient data structures, streams, and algorithms: papers in honor of J. Ian Munro, on the occasion of his 66th birthday
por: Brodnik, Andrej, et al.
Publicado: (2013)

Operator theory in function spaces and Banach lattices: essays dedicated to AC Zaanen on the occasion of his 80th birthday
por: Huijsmans, C, et al.
Publicado: (1995)

Symposium on real-time and hybrid systems: essays dedicated to professor Chaochen Zhou on the occasion of his 80th birthday
por: Jones, Cliff, et al.
Publicado: (2018)

Graph theory, computational intelligence and thought: essays dedicated to Martin Charles Golumbic on the occasion of his 60th birthday
por: Lipshteyn, Marina, et al.
Publicado: (2009)

Philosophy and computing: essays in epistemology, philosophy of mind, logic, and ethics
por: Powers, Thomas M
Publicado: (2017)

A. L. Flemming
Publicado: (1939)

Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
por: Hutchison, David, et al.
Publicado: (2005)

Models, languages, and tools for concurrent and distributed programming: essays dedicated to Rocco de Nicola on the occasion of his 65th birthday
por: Boreale, Michele, et al.
Publicado: (2019)

From reactive systems to cyber-physical systems: essays dedicated to Scott A. SMolka on the occasion of his 65th birthday
por: Bartocci, Ezio, et al.
Publicado: (2019)

From software engineering to formal methods and tools, and back: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday
por: ter Beek, Maurice H, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_ln0ffu8tg1la5evdrb29rs02t7