BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
1 × Korea
1 × United Kingdom
2 × Japan
Collaborated with:
T.Kutsia T.Ida A.Middeldorp T.Suzuki B.Dundua M.Florido F.Ghourabi H.Takahashi A.Kasem
Talks about:
regular (2) origami (2) narrow (2) order (2) logic (2) sort (2) lazi (2) hedg (2) reconstruct (1) constraint (1)

Person: Mircea Marin

DBLP DBLP: Marin:Mircea

Contributed to:

FLOPS 20142014
DLT 20102010
RTA 20102010
SAC 20072007
PPDP 20042004
FLOPS 19991999

Wrote 6 papers:

FLOPS-2014-DunduaFKM #constraints #logic programming #re-engineering #semantics
Constraint Logic Programming for Hedges: A Semantic Reconstruction (BD, MF, TK, MM), pp. 285–301.
DLT-2010-MarinK #revisited
Regular Hedge Language Factorization Revisited (MM, TK), pp. 328–339.
RTA-2010-KutsiaM #order #regular expression #unification
Order-Sorted Unification with Regular Expression Sorts (TK, MM), pp. 193–208.
SAC-2007-GhourabiITMK #algebra #axiom #logic
Logical and algebraic view of Huzita’s origami axioms with applications to computational origami (FG, TI, HT, MM, AK), pp. 767–772.
PPDP-2004-MarinM #lazy evaluation
New completeness results for lazy conditional narrowing (MM, AM), pp. 120–131.
FLOPS-1999-MarinIS #higher-order #lazy evaluation #on the
On Reducing the Search Space of Higher-Order Lazy Narrowing (MM, TI, TS), pp. 319–334.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.