Sciweavers

31387 search results - page 139 / 6278

» Abstracts

124

ICALP
2007
Springer

94views Programming Languages» more ICALP 2007»

Categorical Views on Computations on Trees (Extended Abstract)

16 years 18 days ago

Categorical Views on Computations on Trees (Extended Abstract)

Download basics.sjtu.edu.cn

Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu

claim paper

Read More »

137

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

16 years 18 days ago

A Fully Abstract Trace Semantics for General References

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

135

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 18 days ago

Logic Programs with Abstract Constraint Atoms: The Role of Computations

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

92

ICLP
2007
Springer

113views Automated Reasoning» more ICLP 2007»

A Register-Free Abstract Prolog Machine with Jumbo Instructions

16 years 18 days ago

A Register-Free Abstract Prolog Machine with Jumbo Instructions

Download www.sci.brooklyn.cuny.edu

Neng-Fa Zhou

claim paper

Read More »

148

ICTCS
2007
Springer

111views Theoretical Computer Science» more ICTCS 2007»

Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions

16 years 18 days ago

Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions

Download www.sti.uniurb.it

ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...

Marco Bernardo, Alessandro Aldini

claim paper

Read More »

« Prev « First page 139 / 6278 Last » Next »