- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 4 of 4 (0.037 seconds)Spelling suggestions: "subject:"durchmesser"" "subject:"eidurchmesser""
| 1 |
Church-Rosser languages and their application to parsing problemsWoinowski, Jens R. January 2001 (has links) (PDF)
Darmstadt, Techn. University, Diss., 2001.
|
| 2 |
Church-Rosser languages and related classesNiemann, Gundula. January 2003 (has links)
University, Diss., 2002--Kassel. / Lizenzpflichtig.
|
| 3 |
Systèmes de transformation de ramifications paramétrées : définitions et applicationsLopez Medina, Julio Ernesto 25 June 1979 (has links) (PDF)
.
|
| 4 |
Elementos de Semántica Denotacional de Lenguajes de Programación con Datos BorrososSánchez Álvarez, Daniel 01 October 1999 (has links)
A fin de diseñar e implementar lenguajes de programación que tengan en cuenta el paradigma borroso modificaremos el lambda cálculo clásico, adjuntando a cada término un grado, y redefiniendo la beta-reducción, obteniendo que para que el nuevo cálculo verifique la propiedad de Church-Rosser la transmisión de los grados debe hacerse por medio de una función que sea una t-norma o s-conorma. Utilizando esta nueva herramienta diseñamos un lenguaje no determinista que satisface los requerimientos de la programación con datos borrosos. / With the aim of designing and implementing programming languages that take into account the fuzzy paradigm we will modify the classical lambda calculus by adding a degree to each term and by redefining the b-reduction. Thus, for the new calculus to verify the Church-Rosser property, the degree computed with can be made through a function that is a t-norm or an s-conorm. With this new tool we design a nondeterminist language that satisfies fuzzy dataprogramming requirements, and an example of its behaviour is shown.
|
Page generated in 0.0423 seconds