Mesure, vérification, langage

Logique Et Analyse 11 (41):183 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Concerning 'Eschatological Verification Reconsidered'.Beth Mackie - 1987 - Religious Studies 23 (1):129 - 135.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Systèmes temps réel 1: techniques de description et de vérification, volume 1, chapitre Lucid Synchrone, un langage de programmation des systèmes réactifs. [REVIEW]Paul Caspi, Grégoire Hamon & Marc Pouzet - forthcoming - Hermes.
Systèmes Temps-réel: Techniques de Description et de Vérification–Théorie et Outils, volume 1, chapter Lucid Synchrone, un langage de programmation des systèmes réactifs.Paul Caspi, Grégoire Hamon & Marc Pouzet - forthcoming - Hermes.
The English language and philosophy.A. W. Moore - 1999 - Rue Descartes 26:73-80.
Verificationist Theory of Meaning.Markus Schrenk - 2008 - In U. Windhorst, M. Binder & N. Hirowaka (eds.), Encyclopaedic Reference of Neuroscience. Springer.
Le Dialogue de Catherine de Sienne ou l’accès du sujet intelligent créé à la perfection ultime du langage thomiste au langage de l’'me'.Dominique de Courcelles - 1995 - Archives d'Histoire Doctrinale et Littéraire du Moyen Âge 62:71-135.
Entre analyse linguistique et théorie générale du droit: La Nomographie de Jeremy Bentham. [REVIEW]Malik Bozzo-Rey - 2009 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 22 (4):425-436.
Langage, signes et interprétation.Günter Abel - 2011 - Librairie Philosophique Vrin.
Poétique d'une anti-anthropologie: l'herméneutique de Gadamer.Pascal Michon - 2000 - Paris: J. Vrin.
Langage et pensée chez W. von Humboldt.Jean Leroux - 2006 - Philosophiques 33 (2):379-390.
Verification of concurrent programs: the automata-theoretic framework.Moshe Y. Vardi - 1991 - Annals of Pure and Applied Logic 51 (1-2):79-98.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Langage ou communication ?Stéphane Legrand - 2013 - Labyrinthe 40:59-62.
Le problème du «langage privé» et la conception wittgensteinienne du langage.Denis Sauvé - 1988 - Dialogue 27 (3):417-.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references