en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Kamareddine
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(126)
tags
dblp
formal
managment
narrative
imported
mathematics
logic
knowledge
No matching items.
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
56(1):1
(
2013
)
Fairouz Kamareddine
.
Comput. J.
56(1):1
(
2013
)
3 months and 27 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Reducibility Proofs in the λ-Calculus.
Fairouz Kamareddine
,
Vincent Rahli
, and
J. B. Wells
.
Fundam. Inform.
121(1-4):121-152
(
2012
)
Fairouz Kamareddine
,
Vincent Rahli
, and
J. B. Wells
.
Fundam. Inform.
121(1-4):121-152
(
2012
)
4 months and 6 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
On Realisability Semantics for Intersection Types with Expansion Variables.
Fairouz Kamareddine
,
Karim Nour
,
Vincent Rahli
, and
J. B. Wells
.
Fundam. Inform.
121(1-4):153-184
(
2012
)
Fairouz Kamareddine
,
Karim Nour
,
Vincent Rahli
, and
J. B. Wells
.
Fundam. Inform.
121(1-4):153-184
(
2012
)
4 months and 6 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
55(12):1419
(
2012
)
Fairouz Kamareddine
.
Comput. J.
55(12):1419
(
2012
)
4 months and 29 days ago
by
dblp
11
dblp
dblp
URL
DOI
TeX
Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions.
Fairouz Kamareddine
,
Alejandro Ríos
, and
J. B. Wells
.
Journal of Functional and Logic Programming
(
1998
)
Fairouz Kamareddine
,
Alejandro Ríos
, and
J. B. Wells
.
Journal of Functional and Logic Programming
(
1998
)
5 months and a day ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
55(11):1267-1269
(
2012
)
Fairouz Kamareddine
.
Comput. J.
55(11):1267-1269
(
2012
)
6 months and 3 days ago
by
dblp
11
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
55(10):1147
(
2012
)
Fairouz Kamareddine
.
Comput. J.
55(10):1147
(
2012
)
7 months ago
by
dblp
11
dblp
dblp
URL
DOI
TeX
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi.
Flávio L. C. de Moura
,
Mauricio Ayala-Rincón
, and
Fairouz Kamareddine
.
Journal of Applied Non-Classical Logics
16(1-2):119-150
(
2006
)
Flávio L. C. de Moura
,
Mauricio Ayala-Rincón
, and
Fairouz Kamareddine
.
Journal of Applied Non-Classical Logics
16(1-2):119-150
(
2006
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
55(9):1021-1022
(
2012
)
Fairouz Kamareddine
.
Comput. J.
55(9):1021-1022
(
2012
)
8 months ago
by
dblp
11
dblp
dblp
URL
DOI
TeX
On Stepwise Explicit Substitution.
Fairouz Kamareddine
, and
Rob Nederpelt
.
Int. J. Found. Comput. Sci.
4(3):197-240
(
1993
)
Fairouz Kamareddine
, and
Rob Nederpelt
.
Int. J. Found. Comput. Sci.
4(3):197-240
(
1993
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Soundness of Explicit Substitution with Nameless Variables.
Fairouz Kamareddine
.
Int. J. Found. Comput. Sci.
9(3):321-
(
1998
)
Fairouz Kamareddine
.
Int. J. Found. Comput. Sci.
9(3):321-
(
1998
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
55(7):777-778
(
2012
)
Fairouz Kamareddine
.
Comput. J.
55(7):777-778
(
2012
)
10 months ago
by
dblp
11
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
55(5):509-511
(
2012
)
Fairouz Kamareddine
.
Comput. J.
55(5):509-511
(
2012
)
11 months ago
by
dblp
11
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
55(6):649-650
(
2012
)
Fairouz Kamareddine
.
Comput. J.
55(6):649-650
(
2012
)
11 months ago
by
dblp
11
dblp
dblp
URL
DOI
TeX
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi.
Flávio L. C. de Moura
,
A. V. Barbosa
,
Mauricio Ayala-Rincón
, and
Fairouz Kamareddine
.
Electr. Notes Theor. Comput. Sci.
(
2011
)
Flávio L. C. de Moura
,
A. V. Barbosa
,
Mauricio Ayala-Rincón
, and
Fairouz Kamareddine
.
Electr. Notes Theor. Comput. Sci.
(
2011
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
55(2):133-135
(
2012
)
Fairouz Kamareddine
.
Comput. J.
55(2):133-135
(
2012
)
a year and a month ago
by
dblp
11
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
54(10):1561-1564
(
2011
)
Fairouz Kamareddine
.
Comput. J.
54(10):1561-1564
(
2011
)
a year and a month ago
by
dblp
10
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
54(12):1925-1927
(
2011
)
Fairouz Kamareddine
.
Comput. J.
54(12):1925-1927
(
2011
)
a year and a month ago
by
dblp
10
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
55(3):253-255
(
2012
)
Fairouz Kamareddine
.
Comput. J.
55(3):253-255
(
2012
)
a year and a month ago
by
dblp
11
dblp
dblp
URL
DOI
TeX
Capsule Reviews.
Fairouz Kamareddine
.
Comput. J.
55(1):1-2
(
2012
)
Fairouz Kamareddine
.
Comput. J.
55(1):1-2
(
2012
)
a year and a month ago
by
dblp
11
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact