Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0818685069

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Light affine logic

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) ◽

10.1109/lics.1998.705666 ◽

2002 ◽

Cited By ~ 26

Author(s):

A. Asperti

Download Full-text

The Horn mu-calculus

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) ◽

10.1109/lics.1998.705643 ◽

2002 ◽

Cited By ~ 4

Author(s):

W. Charatonik ◽

D. McAllester ◽

D. Niwinski ◽

A. Podelski ◽

I. Walukiewicz

Download Full-text

On counting logics and local properties

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) ◽

10.1109/lics.1998.705683 ◽

2002 ◽

Cited By ~ 6

Author(s):

L. Libkin

Keyword(s):

Local Properties

Download Full-text

A stability theorem in rewriting theory

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) ◽

10.1109/lics.1998.705665 ◽

2002 ◽

Cited By ~ 1

Author(s):

P.-A. Mellies

Keyword(s):

Stability Theorem

Download Full-text

A congruence theorem for structured operational semantics of higher-order languages

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) ◽

10.1109/lics.1998.705652 ◽

2002 ◽

Cited By ~ 14

Author(s):

K.L. Bernstein

Keyword(s):

Operational Semantics ◽

Higher Order ◽

Congruence Theorem

Download Full-text

Coinductive techniques for operational equivalence of interaction nets

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) ◽

10.1109/lics.1998.705668 ◽

2002 ◽

Author(s):

M. Ferndandez ◽

I. Mackie

Download Full-text

Linear logic with boxes

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) ◽

10.1109/lics.1998.705667 ◽

2002 ◽

Cited By ~ 2

Author(s):

I. Mackie

Keyword(s):

Linear Logic

Download Full-text

On proofs about threshold circuits and counting hierarchies

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) ◽

10.1109/lics.1998.705678 ◽

2002 ◽

Cited By ~ 2

Author(s):

J. Johannsen ◽

C. Pollett

Keyword(s):

Threshold Circuits

Download Full-text

The fusion calculus: expressiveness and symmetry in mobile processes

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) ◽

10.1109/lics.1998.705654 ◽

2002 ◽

Cited By ~ 33

Author(s):

J. Parrow ◽

B. Victor

Keyword(s):

Mobile Processes

Download Full-text

The logical role of the four-valued bilattice

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) ◽

10.1109/lics.1998.705648 ◽

2002 ◽

Cited By ~ 6

Author(s):

O. Arieli ◽

A. Avron

Download Full-text

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Light affine logic

The Horn mu-calculus

On counting logics and local properties

A stability theorem in rewriting theory

A congruence theorem for structured operational semantics of higher-order languages

Coinductive techniques for operational equivalence of interaction nets

Linear logic with boxes

On proofs about threshold circuits and counting hierarchies

The fusion calculus: expressiveness and symmetry in mobile processes

The logical role of the four-valued bilattice

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
Latest Publications