# | | Year | | Title | Type | |
1 |
| Iturrioz, Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen] |
| |
1 |
| |
1 |
| Jacobs, Sofronie-Stokkermans [-] |
| |
1 |
| Jacobs, Sofronie-Stokkermans [Cook, Sebastiani] |
| |
1 |
| Jacobs, Waldmann [Beckert] |
| |
1 |
| Jacquemard, Meyer, Weidenbach [Jacquemard, Nipkow] |
| |
16 |
| Jaeger [-] |
| |
1 |
| |
1 |
| Jaeger [Kwiatkowska] |
| |
1 |
| |
1 |
| Jaeger [Nielsen, Zhang] |
| |
1 |
| Jaeger, Mannila, Weydert [Ng] |
| |
1 |
| Jaulin, Ratschan, Hardouin [Jaulin, Hardouin] |
| |
1 |
| Jensen, Podelski (ed.) [Jensen] |
| |
1 |
| Jensen, Podelski [Jensen] |
| |
1 |
| Johann, Socher-Ambrosius [Johann] |
| |
| | 1994 | | Solving Simplificating Ordering Constraints
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 352-367 | Proceedings Article | |
1 |
| |
1 |
| Kasper [-] |
| |
2 |
| |
1 |
| Kazakov [Alferes, Leite] |
| |
1 |
| Kazakov, de Nivelle [Basin, Rusinowitch] |
| |
1 |
| Kazakov, de Nivelle [Calvanese, De Giacomo, Franconi] |
| |
1 |
| |
1 |
| Korovin [-] |
| |
1 |
| Korovin, Voronkov [Voronkov, Baader] |
| |
1 |
| Korovin, Voronkov [Voronkov, Kolaitis, Voronkov, Kolaitis] |
| |
2 |
| Korovin, Voronkov [Voronkov] |
| |
2 |
| Kraan, Basin, Bundy [-] |
| |
2 |
| Kraan, Basin, Bundy [Kraan, Bundy] |
| |