Search results for "iteration operator"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Timos K. Sellis, Leonard D. Shapiro	Query Optimization for Nontraditional Database Applications.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	space performance, nontraditional database applications, equivalent database programs, extended query languages, iteration operator, artificial intelligence, programming, query optimization, database management systems, query languages, environments, engineering, large data sets, database query languages, time performance
1	Daisuke Kimura	Call-by-Value Is Dual to Call-by-Name, Extended.	APLAS	2007	DBLP DOI BibTeX RDF
1	Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero	Introducing the Iteration in sPBC.	FORTE	2004	DBLP DOI BibTeX RDF	Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra
1	Geoffrey Washburn, Stephanie Weirich	Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism.	ICFP	2003	DBLP DOI BibTeX RDF	modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism
1	Yoshihiko Kakutani	Duality between Call-by-Name Recursion and Call-by-Value Iteration.	CSL	2002	DBLP DOI BibTeX RDF
1	Steffen Börm, Ralf Hiptmair	Multigrid Computation of Axisymmetric Electromagnetic Fields.	Adv. Comput. Math.	2002	DBLP DOI BibTeX RDF	edge elements, vector valued problems, semi-coarsening, cylindrical symmetry, degenerate problems, multigrid, computational electromagnetism
1	Alex K. Simpson, Gordon D. Plotkin	Complete Axioms for Categorical Fixed-Point Operators.	LICS	2000	DBLP DOI BibTeX RDF	iteration theories, fixed points, domain theory, Categorical models
1	Hans Leiß	Towards Kleene Algebra with Recursion.	CSL	1991	DBLP DOI BibTeX RDF
1	Dieter Spreen	On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations.	CSL	1987	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )