Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Fruehwirth, Thom
33  Ergebnisse:
Personensuche X
?
1

Toward a first-order extension of Prolog's unification usin..:

, In: Proceedings of the 2007 ACM symposium on Applied computing,
Djelloul, Khalil ; Dao, Thi-Bich-Hanh ; Fruehwirth, Thom - p. 58-64 , 2007
Link: https://dl.acm.org/doi/1..
 
?
2

Book reviews:

Fruehwirth, Thom ; Dartnall, Terry ; Button, Charles G....
Artificial Intelligence Review.  5 (1991)  1-2 - p. 121-141 , 1991
Link: https://doi.org/10.1007/..
 
?
3

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time..:

Fruehwirth, Thom
http://arxiv.org/abs/2307.02180.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

Repeated Recursion Unfolding for Super-Linear Speedup withi..:

Fruehwirth, Thom
http://arxiv.org/abs/2009.05314.  , 2020
Link: http://arxiv.org/abs/200..
 
?
5

Rule-Based Drawing, Analysis and Generation of Graphs for M..:

Fruehwirth, Thom
http://arxiv.org/abs/1805.08453.  , 2018
Link: http://arxiv.org/abs/180..
 
?
6

Parallelism, Concurrency and Distribution in Constraint Han..:

Fruehwirth, Thom
http://arxiv.org/abs/1703.10959.  , 2017
Link: http://arxiv.org/abs/170..
 
?
7

Why Can't You Behave? Non-termination Analysis of Direct Re..:

Fruehwirth, Thom
http://arxiv.org/abs/1701.02648.  , 2017
Link: http://arxiv.org/abs/170..
 
?
8

Justifications in Constraint Handling Rules for Logical Ret..:

Fruehwirth, Thom
http://arxiv.org/abs/1706.07946.  , 2017
Link: http://arxiv.org/abs/170..
 
?
9

A Devil's Advocate against Termination of Direct Recursion:

Fruehwirth, Thom
http://arxiv.org/abs/1701.02682.  , 2017
Link: http://arxiv.org/abs/170..
 
?
10

Constraint Handling Rules - What Else?:

Fruehwirth, Thom
http://arxiv.org/abs/1701.02668.  , 2017
Link: http://arxiv.org/abs/170..
 
?
11

The P-Box CDF-Intervals: Reliable Constraint Reasoning with..:

Saad, Aya ; Fruehwirth, Thom ; Gervet, Carmen
http://arxiv.org/abs/1405.2801.  , 2014
Link: http://arxiv.org/abs/140..
 
?
12

Visualization of Constraint Handling Rules:

Sharaf, Nada ; Abdennadher, Slim ; Fruehwirth, Thom
http://arxiv.org/abs/1405.3793.  , 2014
Link: http://arxiv.org/abs/140..
 
?
13

Theory of Finite or Infinite Trees Revisited:

Djelloul, Khalil ; Dao, Thi-Bich-Hanh ; Fruehwirth, Thom
hal-00202312.  , 2008
Link: https://hal.science/hal-..
 
?
14

Theory of Finite or Infinite Trees Revisited:

Djelloul, Khalil ; Dao, Thi-Bich-Hanh ; Fruehwirth, Thom
hal-00202312.  , 2008
Link: https://hal.archives-ouv..
 
?
15

Theory of Finite or Infinite Trees Revisited:

Djelloul, Khalil ; Dao, Thi-bich-hanh ; Fruehwirth, Thom
http://arxiv.org/abs/0706.4323.  , 2007
Link: http://arxiv.org/abs/070..
 
1-15