Languages with expressions of infinite length :: SCD d'Orléans

Languages with expressions of infinite length

Languages with expressions of infinite length

Guardat en:

Dades bibliogràfiques
Autor principal:	Karp, Carol Ruth, 1926-1972
Format:	Livre papier
Idioma:	Anglais
Publicat:	Amsterdam : North-Holland 1964.
Col·lecció:	Studies in logic and the foundations of mathematics
Matèries:	Linguistique mathématique > Infini Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Ítems similars

Infini, logique, géométrie
per: Mancosu, Paolo, 1960-
Publicat: (2015)

Automata, logics, and infinite games
per: Grädel, Erich, 1958-

Random walks on infinite graphs and groups
per: Woess, Wolfgang, 1954-
Publicat: (2000)

Automata on infinite words

The Syntax and semantics of infinitary languages
per: Barwise, Jon, 1942-2000, logicien
Publicat: (1968)

The Syntax and Semantics of Infinitary Languages
per: Barwise, Jon, 1942-2000, logicien

Model generation for natural language interpretation and analysis
per: Konrad, Karsten, 1969-

Theory and application of infinite series
per: Knopp, Konrad, 1882-1957
Publicat: (1990)

Programming languages and their definition
per: Bekič, Hans, 1936-1982

Infinite groups : geometric, combinatorial and dynamical aspects
per: Bartholdi, Laurent, 19..-...., mathématicien
Publicat: (2006)

Infinite Groups : geometric, combinatorial and dynamical aspects
per: Bartholdi, Laurent, 19..-...., mathématicien

Logicism, intuitionism, and formalism : what has become of them?
per: Lindström, Sten

Natural language generation : Third international conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004 : proceedings
per: Belz, Anja

Dynamics of infinite-dimensional groups : the Ramsey-Dvoretzky-Milman phenomenon
per: Pestov, Vladimir, 1956-
Publicat: (2006)

Computational processing of the Portuguese language : 6th International Workshop, PROPOR 2003 Faro, Portugal, June 26 27, 2003 : proceedings

Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 2001 : proceedings

L'infini en mathématiques
per: Goblot, Rémi, 19..-
Publicat: (2018)

La notion d'infini : l'infini mathématique entre mystère et raison : intuitions, paradoxes, rigueur
per: Gilbert, Thérèse, mathématicienne, et al.
Publicat: (2001)

L'infini au carrefour de la philosophie et des mathématiques
per: Guichard, Jacqueline, 19..-...., auteure en mathématiques
Publicat: (2000)

Figures de l'infini : les mathématiques au miroir des cultures
per: Lévy, Tony, 1943-
Publicat: (2020)

Green's functions and infinite products : bridging the divide
per: Melnikov, Yuri A.
Publicat: (2011)

Learning language in logic
per: Cussens, James, 1965-

Solvable cases of the decision problem
per: Ackermann, Wilhelm, 1896-1962
Publicat: (1954)

Logical aspects of computational linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997 : selected papers

Logical aspects of computational linguistics : third international conference, LACL '98, Grenoble, France, December 14-16, 1998 : selected papers

Logical aspects of computational linguistics : first international conference, LACL '96, Nancy, France, April 1996 : selected papers

Logic, language, and computation : festschrift in honor of Satoru Takasu
per: Jones, Neil D., 1941-

Cinq conférences sur l'indécidabilité
per: Bouleau, Nicolas, 1945-, et al.
Publicat: (1983)

Eine Termlogik mit Auswahloperator
per: Hermes, Hans, 1912-2003

The Vienna development method : the meta-language
per: Bjørner, Dines, 1937-

Figures de l'infini : les mathématiques au miroir des cultures
per: Lévy, Tony, 1943-
Publicat: (1987)

Context-free grammars : covers, normal forms, and parsing
per: Nijholt, Anton

Infinite linear groups : an account of the group theoretic properties of infinite groups of matrices
per: Wehrfritz, Bertram A. F., 19..-
Publicat: (1973)

Jeux avec l'infini : voyage à travers les mathématiques
per: Péter, Rózsa, 1905-1977, mathématicienne
Publicat: (2014)

Notes on logic
per: Lyndon, Roger Conant, 1917-1988
Publicat: (1966)

Infiniment maths : le calcul infinitésimal, l'infiniment grand et l'infiniment petit, les nombres transcendants et transfinis, l'hypothèse du continu
per: Durán, Antonio, 1962-, et al.
Publicat: (2024)

Advances in natural language processing : Third International Conference, PorTAL 2002, Faro, Portugal, June 23 26, 2002 : proceedings

Introduction à la logique
per: Rivenc, François, 1945-
Publicat: (1989)

Méthodes de logique
per: Quine, Willard Van Orman, 1908-2000, philosophe
Publicat: (1973)

Logique sans peine
per: Carroll, Lewis, 1832-1898
Publicat: (1966)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales