CiteULike: voigt's Maneth:S [4 articles]

Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

voigt's tags

All tags in voigt's library

Filter:

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

	A formal model for an expressive fragment of XSLT [My Copy] Inf. Syst., Vol. 27, No. 1. (March 2002), pp. 21-39. by Geert J. Bex, Sebastian Maneth, Frank Neven posted to tree-transducers xml by voigt on 2005-10-12 06:16:32 as along with 2 people and 5 groups mattbiehl seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations [My Copy] Information and Computation, Vol. 154, No. 1. (10 October 1999), pp. 34-91. by Joost Engelfriet, Sebastian Maneth posted to attribute-grammars mso-logic tree-transducers by voigt on 2005-09-30 13:54:37 as
	The Generating Power of Total Deterministic Tree Transducers [My Copy] Information and Computation, Vol. 147, No. 2. (15 December 1998), pp. 111-144. by Sebastian Maneth posted to attribute-grammars tree-transducers by voigt on 2005-09-30 13:52:52 as
	The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable [My Copy] (6 Jun 2005) by Joost Engelfriet, Sebastian Maneth posted to attribute-grammars decidability mso-logic tree-transducers xml by voigt on 2005-09-13 14:18:41 as

functional-programming	108
types	68
haskell	53
polymorphism	31
monads	27
program-transformation	23
lambda-calculus	23
parametricity	21
logical-relations	20
denotational-semantics	19
side-effects	18
free-theorems	17
lazy-evaluation	16
type-classes	15
optimization	15
tree-transducers	14
seq	13
xml	13
laziness	13
generic-programming	11
accumulating-parameters	11
operational-semantics	11
strict-evaluation	11
deforestation	11
selective-strictness	10
rank-2	10
call-by-name	10
category-theory	8
shortcut-deforestation	8
verification	8
call-by-value	8
ml	8
call-by-need	7
applications	7
continuations	6
pcf	6
attribute-grammars	6
dsl	5
compilers	5
circular-programs	5
operating-systems	5
multiple-traversals	4
subtyping	4
tupling	4
theorem-provers	4
induction-proofs	4
functional-dependencies	4
embedded-systems	3
arrows	3
automata	3
dependent-types	3
objects	3
scheme	3
static-analysis	2
linear-logic	2
parallel-programming	2
logic-programming	2
nominal-abstract-syntax	2
clean	2
mso-logic	2
programatica	2
sequentiality	2
quantum-computation	1
optimal-reduction	1
databases	1
real-time	1
imprecise-errors	1
bidirectionality	1
view-update	1
concurrency	1
decidability	1
streams	1
imperative-programming	1
complexity-analysis	1
nondeterminism	1
exceptions	1
errors	1
uniqueness	1

voigt's Maneth:S [4 articles] Export

voigt's tags