Narciso - PDFSEARCH.IO - Document Search Engine

Narciso
Results: 75

#	Item
61	Specifying, programming, and verifying in Maude Some applications to Model-Driven Engineering and Graph Rewriting (material based on a course by Narciso Mart´ı-Oliet, Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-10-24 10:43:00 Universal algebra Mathematical logic Model theory Functional languages Formal languages ALGOL 68 Structure Rewriting Q Programming language theory Mathematics Logic
62	Algebraic Simulations Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:15:07 Theoretical computer science Applied mathematics Constructible universe Bisimulation Mathematics Temporal logic Kripke structure Model checking
63	Declarative Debugging of Maude Modules∗ Adri´an Riesco, Alberto Verdejo, Rafael Caballero, and Narciso Mart´ı-Oliet Technical Report SIC-6-08 Departamento de Sistemas Inform´ aticos y Computaci´ on, Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-01-14 12:08:17 Logic in computer science Software engineering Maude system Functional languages Formal languages Rewriting OBJ Debugging Equational logic Theoretical computer science Programming language theory Mathematical logic
64	Specifying, programming, and verifying in Maude Narciso Mart´ı-Oliet Departamento de Sistemas Inform´ aticos y Computaci´ on Universidad Complutense de Madrid Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-09-19 11:08:13 Mathematical logic Universal algebra Model theory Functional languages Logic in computer science Unification Equational logic Signature Structure Theoretical computer science Mathematics Programming language theory
65	Maude Manual (Version 2.6) Manuel Clavel Francisco Dur´an Steven Eker Patrick Lincoln Narciso Mart´ı-Oliet Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2011-01-23 16:32:56 Maude system Functional languages OBJ Unification Maude Algebraic structure Modularity International Space Station Spaceflight Software engineering Theoretical computer science
66	An introduction to Maude and some of its applications Narciso Mart´ı-Oliet Departamento de Sistemas Inform´ aticos y Computaci´ on Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2010-01-20 12:34:03 Applied mathematics Logic in computer science Lambda calculus Metalogic Model theory Rewriting Maude Divergence Structure Mathematics Theoretical computer science Formal languages
67	WRLA[removed]A Rewriting Semantics for Maude Strategies Narciso Mart´ı-Olieta, Jos´e Meseguerb , and Alberto Verdejoa a b Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2007-12-31 03:35:21 Applied mathematics Maude system Denotational semantics Formal language Structure Combinatory logic Rewriting Operational semantics Strategy Theoretical computer science Logic in computer science Mathematics
68	STRATEGIES[removed]Deduction, Strategies, and Rewriting Steven Ekera , Narciso Mart´ı-Olietb , Jos´e Meseguerc , and Alberto Verdejob a Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2007-12-30 14:15:22 Mathematics Mathematical logic Lambda calculus Formal languages Maude system Logic programming Rewriting Combinatory logic Unification Theoretical computer science Logic Logic in computer science
69	Narciso Pizarro Professor Universidad Complutense de Madrid Add to Reading List Source URL: www.narciso-pizarro.com Language: English - Date: 2012-12-10 05:42:59 Science Social philosophy Political science Military-industrial complex Elitism Democracy Elite Democratization The Establishment Sociology Oligarchy Social groups
70	Cuban Filibustering in Jacksonville in 1851 Antonio Rafael de la Cova In the summer of 1851, General Narcisco López launched a Cuban Add to Reading List Source URL: www.latinamericanstudies.org Language: English - Date: 2008-11-29 18:59:53 Florida Jacksonville Florida Narciso López Filibuster Jacksonville Napoleon B. Broward Geography of Florida Geography of the United States Greater Jacksonville

UPDATE