The following pages link to Irène Guessarian (Q234705):
Displayed 50 items.
- Item:Q234705 (redirect page) (← links)
- Iterative and recursive matrix theories (Q595766) (← links)
- Item:Q234705 (redirect page) (← links)
- Tree inclusions in windows and slices (Q843598) (← links)
- Multiple serial episodes matching (Q844201) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- On the minimal number of \(\times\) operators to model regularity in fair SCCS (Q1122986) (← links)
- Algebraic semantics (Q1158947) (← links)
- On some classes of interpretations (Q1251892) (← links)
- Program transformations and algebraic semantics (Q1254849) (← links)
- Transforming constraint logic programs (Q1274969) (← links)
- On temporal logic versus Datalog (Q1401358) (← links)
- The expressiveness of DAC (Q1608890) (← links)
- Congruence preserving functions on free monoids (Q1686332) (← links)
- A unifying theorem for algebraic semantics and dynamic logics (Q1821095) (← links)
- Translation of logic programs into functional fixpoint equations (Q1823723) (← links)
- Fixpoint strategies for deductive databases (Q1823737) (← links)
- Affine completeness of the algebra of full binary trees (Q2217772) (← links)
- On lattices of regular sets of natural integers closed under decrementation (Q2445906) (← links)
- Characterizing congruence preserving functions $Z/nZ\to Z/mZ$ via rational polynomials (Q2830401) (← links)
- Integral Difference Ratio Functions on Integers (Q2944896) (← links)
- Arithmetical Congruence Preservation: From Finite to Infinite (Q2947175) (← links)
- (Q3036693) (← links)
- Pushdown tree automata (Q3036724) (← links)
- (Q3040484) (← links)
- (Q3219132) (← links)
- (Q3317088) (← links)
- Window Subsequence Problems for Compressed Texts (Q3434688) (← links)
- Newton representation of functions over natural integers having integral difference ratios (Q3451555) (← links)
- Tree inclusion problems (Q3514631) (← links)
- Inf-datalog, Modal Logic and Complexities (Q3549285) (← links)
- Normalization of Some Extended Abstract State Machines (Q3586002) (← links)
- (Q3696541) (← links)
- (Q3719823) (← links)
- (Q3738547) (← links)
- On the Axiomatization of “If-Then-Else” (Q3765240) (← links)
- (Q3773309) (← links)
- (Q3787456) (← links)
- A note on fixpoint techniques in data base recursive logic programs (Q3792286) (← links)
- Fairness and regularity for SCCS processes (Q3816967) (← links)
- (Q3817577) (← links)
- (Q3821632) (← links)
- (Q3877019) (← links)
- (Q3917489) (← links)
- (Q3920618) (← links)
- (Q4029590) (← links)
- (Q4050092) (← links)
- (Q4065012) (← links)
- (Q4139645) (← links)
- (Q4139646) (← links)