Unification of Theories: A Challenge for Computing Science

Unification of Theories: A Challenge for Computing Science

书目详细资料
主要作者:	Hoare, C
格式:	Conference item
出版:	Springer 1995

相似书籍

Linking Theories in Computing Science
由: Hoare, C
出版: (2015)

Against the unification of the behavioral sciences
由: Clarke, S
出版: (2007)

Unification Strategies in Cognitive Science
由: Miłkowski Marcin
出版: (2016-12-01)

Unification Theories: Examples and Applications
由: Florin F. Nichita
出版: (2018-11-01)

Finite Unification: Theory and Predictions
由: Sven Heinemeyer, et al.
出版: (2010-06-01)

Dirac gauginos and unification in F-theory
由: Davies, R
出版: (2012)

Yukawa unification in heterotic string theory
由: Buchbinder, E, et al.
出版: (2016)

Hyperfinite and standard unifications for physical theories
由: Robert A. Herrmann
出版: (2001-01-01)

Law of Creation and Grand Unification Theory
由: Zhi Gang Sha, et al.
出版: (2018-12-01)

Unification Theories: New Results and Examples
由: Florin F. Nichita
出版: (2019-05-01)

Unification modulo a partial theory of exponentiation
由: Paliath Narendran, et al.
出版: (2010-12-01)

Computer Science
由: Hoare, C
出版: (1971)

Erratum to “Hyperfinite and standard unifications for physical theories”
由: Robert A. Herrmann
出版: (2006-01-01)

Unification Theories: Means and Generalized Euler Formulas
由: Radu Iordanescu, et al.
出版: (2020-12-01)

Effective Higgs theories in supersymmetric grand unification
由: Sibo Zheng
出版: (2017-09-01)

Conformal unification in a quiver theory and gravitational waves
由: Claudio Corianò, et al.
出版: (2020-12-01)

Molecular nanoarchitectonics: unification of nanotechnology and molecular/materials science
由: Katsuhiko Ariga
出版: (2023-04-01)

Mathematical Models for Computing Science
由: Hoare, C
出版: (1994)

Mathematical models for computing science
由: Hoare, C
出版: (1996)

The best possible unification for any collection of physical theories
由: Robert A. Herrmann
出版: (2004-01-01)

Unification modulo presburger arithmetic and other decidable theories
由: Mauricio Ayala Rincón, et al.
出版: (2001-12-01)

A Unif: A common supercategory of pMET and Unif
由: R. Lowen, et al.
出版: (1998-01-01)

Keynote: A Vision for the Science of Computing
由: Hoare, T
出版: (2008)

On the Sequential Nature of Unification
由: Dwork, Cynthia, et al.
出版: (2023)

PARTICLE UNIFICATION
由: Ross, G
出版: (1993)

Strong unification
由: Ghilencea, D, et al.
出版: (1997)

Unification predictions
由: Ghilencea, D, et al.
出版: (1998)

Unification grammars /
由: Francez, Nissim, et al.
出版: (2012)

Grand unification/
由: Workshop on Grand Unification (9th : 1988 : France), et al.
出版: (1988)

Ré-unification.
由: Jacques Lévy
出版: (2004-05-01)

MT and Unification
由: D. Estival
出版: (1994-06-01)

Defining a Digital Twin: A Data Science-Based Unification
由: Frank Emmert-Streib
出版: (2023-08-01)

The plural unification of sciences: the epistemological contributions of a perpetually dissatisfied discipline
由: Roberto Malighetti
出版: (2019-02-01)

On gravity unification in SL(2N,C) gauge theories
由: J. L. Chkareuli
出版: (2024-11-01)

Projected BCS theory for the unification of antiferromagnetism and strongly correlated superconductivity
由: Hyunwoong Kwon, et al.
出版: (2022-02-01)

Unification Theories: Rings, Boolean Algebras and Yang–Baxter Systems
由: Florin F. Nichita
出版: (2023-03-01)

On stimulus persistence and human behavior: the stimulus persistence unification theory
由: Tobore Onojighofia Tobore
出版: (2022-12-01)

Trilemma EU and EMU Challenges: Fiscal Competition, Harmonization or Unification
由: Monica SUSANU
出版: (2014-12-01)

DEBS – a unification theory for dry eye and blepharitis
由: Rynerson JM, et al.
出版: (2016-12-01)

The Verifying Compiler: A Grand Challenge for Computing Research
由: Hoare, C
出版: (2003)