Definition and basic properties of the Deva meta-calculusWEBER, M.Formal aspects of computing. 1993, Vol 5, Num 5, pp 391-431, issn 0934-5043Article

Long-distance dependencies without filler―gaps: a cognitive-functional alternative in Fluid Construction GrammarVAN TRIJP, Remi.Language and cognition (Berlin. Print). 2014, Vol 6, Num 2, pp 242-270, issn 1866-9808, 29 p.Article

Informalization and contemporary manners : The wouters studiesSTEARNS, Peter N.Theory and society. 2007, Vol 36, Num 4, pp 373-379, issn 0304-2421, 7 p.Article

La phénoménologie refuse l'abstraction et la formalisationPIGUET, J.-C.Husserl Research-Drawing Upon the Full Extent of His Development. Book 1. Phenomenology in the World Fifty Years after the Death of Edmund Husserl. Analecta Husserliana. 1991, Vol 34, pp 427-439Book Chapter

The impact of IS department organizational environments upon project team performancesJIANG, James J; KLEIN, Gary; PICK, Roger Alan et al.Information & management. 2003, Vol 40, Num 3, pp 213-220, issn 0378-7206, 8 p.Article

Typologie des biens superphraséologiques et quelques possibilités de leur formalisationBLEKHMAN, M. S.Naučno-tehničeskaâ informaciâ - Vsesoûznyj institut naučnoj i tehničeskoj informacii. Seriâ 2. Informacionnye processy i sistemy. 1984, Num 1, pp 21-27, issn 0548-0027Article

Criteria for logical formalizationPEREGRIN, Jaroslav; SVOBODA, Vladimír.Synthese (Dordrecht). 2013, Vol 190, Num 14, pp 2897-2924, issn 0039-7857, 28 p.Article

Theory and formalization : Some reflections on experience : Formal models and research programs : Reflections from experience = Théorie et formalisation : Quelques réflexions sur l'expérience : La théorie formelleBERGER, Joseph.Sociological theory. 2000, Vol 18, Num 3, pp 482-489, issn 0735-2751Conference Paper

Intertextual argument in Gorgias's on what is not: a formalization of sextus, adv Math 7.77-80SCHIAPPA, E; HOFFMAN, S.Philosophy & rhetoric. 1994, Vol 27, Num 2, pp 156-161, issn 0031-8213Article

An analysis of the revised HPA dosimetry protocolsNAHUM, A. E; THWAITES, D. I; ANDREO, P et al.Physics in medicine & biology (Print). 1988, Vol 33, Num 8, pp 923-938, issn 0031-9155Article

Sur la force sémantique des langages d'interrogationLIVCHAK, A. B.Naučno-tehničeskaâ informaciâ - Vsesoûznyj institut naučnoj i tehničeskoj informacii. Seriâ 2. Informacionnye processy i sistemy. 1984, Num 2, pp 30-31, issn 0548-0027Article

Choix des représentations pour la résolution des problèmes combinatoiresBABINOV, YU. P.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1983, Num 5, pp 202-204, issn 0002-3388Article

Varieties of «if-then-else»BLOOM, S. L; TINDELL, R.SIAM journal on computing (Print). 1983, Vol 12, Num 4, pp 677-707, issn 0097-5397Article

On the definition of sequential consistencySEZGIN, Ali; GOPALAKRISHNAN, Ganesh.Information processing letters. 2005, Vol 96, Num 6, pp 193-196, issn 0020-0190, 4 p.Article

Formalization and analysis of reasoning by assumptionBOSSE, Tibor; JONKER, Catholijn M; TREUR, Jan et al.Cognitive science. 2006, Vol 30, Num 1, pp 147-180, issn 0364-0213, 34 p.Article

Élégance, complexité et subtilités de la formalisation des plans expérimentaux = The elegance, complexity and subtleties of the formalization of experimentsMATHY, Fabien.Bulletin de psychologie. 2006, Vol 59, Num 482, issn 0007-4403, 187-193, 267 [8 p.]Article

Recent issues in linguisticsDRESHER, E.Glot international. 1998, Vol 3, Num 9-10, issn 1381-3439, p. 8Article

Aspects of general morphology : A tentative axiomatic approachBANCZEROWSKI, J.Studia Germanica Posnaniensia. 1997, Vol 23, pp 13-46, issn 0137-2467Article

The sociology of languageAmsterdam studies in the theory and history of linguistic science. Series 3, Studies in the history of linguistics. 1994, Vol 69, pp 417-429, issn 0304-0720Article

Les langages documentaires entre langues naturelles et normalisation terminologique = The Languages of Documentation: Between Natural Tongues and Terminological NormalizationVANCHE-ROBY, M.-M.Genèse de la (des) normes(s) linguistique(s). Séminaire. 1994, pp 163-183, isbn 2-85399-340-XConference Paper

Perspectives on decisionsSEGERBERG, K.Proceedings of the Aristotelian Society. 1993, Vol 93, Num 3, pp 263-278, issn 0066-7374Conference Paper

Systematization of finite many-valued logics through the method of tableauxCARNIELLI, W. A.The Journal of symbolic logic. 1987, Vol 52, Num 2, pp 473-493, issn 0022-4812Article

Formalisation automatique d'un texte sans repérage préalableBOL'SHAKOV, I. A.Naučno-tehničeskaâ informaciâ - Vsesoûznyj institut naučnoj i tehničeskoj informacii. Seriâ 2. Informacionnye processy i sistemy. 1987, Num 6, pp 30-31, issn 0548-0027Article

Generalised algebraic theories and contextual categoriesCARTMELL, J.Annals of pure and applied logic. 1986, Vol 32, Num 3, pp 209-243, issn 0168-0072Article

Formalisation des lois de l'optimisation multiobjectif de la commande des systèmes électroénergétiquesBORISOV, R. I.Èlektričestvo. 1986, Num 1, pp 5-8, issn 0013-5380Article