• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Conferentiebijdrage
2001

Metric semantics and full abstractness for action refinement and probabilistic choice

Hartog, den, J. I., Vink, de, E. P. & Bakker, de, J. W., 2001, Proceedings of The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000, Cork, Ireland, July 20-21, 2000). Hurley, T., Mac an Airchinnigh, M., Schellekens, M. & Seda, A. (redactie). blz. 72-99 (Electronic Notes in Theoretical Computer Science; vol. 40).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

10 Citaten (Scopus)
2002

Analysis and synthesis of systems with discrete and continuous control

Cuijpers, P. J. L., Juloski, A. L., Reniers, M. A., Heemels, W. P. M. H., Groote, J. F. & Bosch, van den, P. P. J., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). blz. 28-33

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
50 Downloads (Pure)

Axiomatizing GSOS with termination

Baeten, J. C. M. & Vink, de, E. P., 2002, Proceedings 19th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2002, Antibes - Juan-les-Pins, France, March 14-16, 2002). Alt, H. & Ferreira, A. (redactie). Berlin: Springer, blz. 583-595 (Lecture Notes in Computer Science; vol. 2285).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)

Characteristic entry logs in the MemorySafe information system

Qian, Y., Feijs, L. M. G. & Udink, R., 2002, Proceedings 14th IAESTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2002, Cambridge MA, USA, November 4-6, 2002). Anaheim CA: ACTA Press, blz. 185-190

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Comparing techniques for proving unsatisfiability (extended abstract)

Tveretina, O. & Zantema, H., 2002, Proceedings International Conference on Mathematical Methods in Electromagnetic Theory, MMET '02, Kiev, Ukraine, September 10-13, 2002. Piscataway NJ: Institute of Electrical and Electronics Engineers, Vol. 2. blz. 605-607

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Downloads (Pure)

Component specification and composition in a UML based tool

Roubtsova, E. E., Jonkers, H. B. M. & Kuiper, R., 2002, Proceedings 6th Multiconference on Systemics, Cybernetics and Informatics: International Conference on Information Systems, Analysis and Synthesis (SCI'2002/ISAS'2002, Orlando FL, July 14-17, 2002). Callaos, N., Zhao, R., Sanchez, B. & Lesso, W. (redactie). International Institute of Informatics and Systemics (IIIS), Vol. 18. blz. 136-144

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Computer assisted manipulation of algebraic process specifications

Groote, J. F. & Lisser, B., 2002, Proceedings 3rd International Workshop on Verification and Computational Logic (VCL 2002, Pittsburgh PA, USA, October 5, 2002), Technical Report DSSE-TR-2002-5. Leuschel, M. & Ultes-Nitsche, U. (redactie). Southampton: Dept. of Electronics and Computer Science

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Controlling networked devices : a validation of two middleware architectures

Tran, T. M., Peters, P. J. F., Lukkien, J. J. & Verhoeven, P. H. F. M., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). Utrecht: STW Technology Foundation, blz. 239-245

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Formal verification of an improved sliding window protocol

Chkliaev, D., Hooman, J. J. M. & Vink, de, E. P., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). Utrecht: STW Technology Foundation, blz. 18-27

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
38 Downloads (Pure)

Highlights of RTL to gate comparison by the use of formality

Man, K. L., Fedeli, A. & Toto, F., 2002, Proceedings SNUG Europe 2002.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

IF-logic and Skolemization: falsity conditions for IF-formulas (Abstract)

Dechesne, F., 2002, Proceedings Philosophical Insights into Logic and Mathematics (PILM '02, Nancy, France, September 30-October 4, 2002). Nancy: Université Nancy 2

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Implementation and validation of UPnP for embedded systems in a home environment

Tran, T. M., Feijs, L. M. G. & Lukkien, J. J., 2002, Proceedings of the 2002 international conference on Internet, Communication and Information Technology (CIIT 2002, St. Thomas, Virgin Islands, November 18-20, 2002). Hamza, M. H. (redactie). Anaheim CA: ACTA Press, blz. 279-284

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Interface suites as contracts : composition of contracts in UML

Roubtsova, E. E., Jonkers, H. B. M. & Kuiper, R., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). Karelse, F. (redactie). Utrecht, The Netherlands: STW Technology Foundation, blz. 203-210

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
30 Downloads (Pure)

Language-driven system design

Mauw, S., Wiersma, W. T. & Willemse, T. A. C., 2002, Proceedings 35th Annual Hawaii International Conference on System Sciences (HICSS 2002, Big Island, Hawaii, January 7-10, 2002). Los Alamitos CA: IEEE Computer Society, blz. 3637-3646

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
3 Citaten (Scopus)
55 Downloads (Pure)

On BAN logics for industrial security protocols

Agray, N., Hoek, van der, W. & Vink, de, E. P., 2002, From Theory to Practice in Multi-Agent Systems (Proceedings CEEMAS 2001, Cracow, Poland, September 26-29, 2001). Dunin-Keplicz, B. & Nawarecki, E. (redactie). Berlin: Springer, blz. 29-38 (Lecture Notes in Computer Science; vol. 2296).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

Operational semantics for coordination in Paradigm

Groenewegen, L. P. J. & Vink, de, E. P., 2002, Coordination Models and Languages (Proceedings COORDINATION 2002, York, UK, April 8-11, 2002). Arbab, F. & Talcott, C. (redactie). Berlin: Springer, blz. 191-206 (Lecture Notes in Computer Science; vol. 2315).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (Scopus)

Parameters in pure type systems

Bloo, C. J., Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2002, LATIN 2002: theoretical informatics proceedings 5th Latin American symposium, Cancun, Mexico, April 3-6, 2002. Rajsbaum, S. (redactie). Berlin: Springer, blz. 371-385 (Lecture Notes in Computer Science; vol. 2286).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Perceptual evaluation of audiovisual cues for prominence

Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings 7th Int. Conf. on Spoken Language Processing (Denver CO, USA, 16-20 September 2002). Denver, CO, USA: ISLP, Vol. 3. blz. 1933-11936

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

Pitch, eyebrows and the perception of focus

Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings of the Speech Prosody 2002 Conference, Aix-en-Provence, France, April 11-13, 2002. Bel, B. & Marlien, I. (redactie). Aix-en-Provence, France: Laboratoire Parole et Language, blz. 443-446

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Pitch, eyebrows and the perception of focus speech

Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings Prosody 2002 (Aix-en-Provence, France, April 2002).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

SAT techniques for knowledge base verification

Tveretina, O. & Zantema, H., 2002, Proceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002). Athens, Greece: WSEAS, blz. 213-217

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Service discovery mechanisms : two case studies

Lukkien, J. J., Tran, T. M., Verhoeven, P. H. F. M. & Peters, P. J. F., 2002, Proceedings of the 2002 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02, Las Vegas NV, USA, June 24-27, 2002). Arabnia, H. R. (redactie). CSREA Press, Vol. 3. blz. 1187-1192

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Specification and simulation of microprocessor operations and parallel instructions

Feijs, L. M. G., Gorissen, P. & Trescher, J., 2002, Proceedings Euromicro Symposium on Digital System Design: Architectures, Methods, and Tools (DSD'02, Dortmund, Germany, September 4-6, 2002). Edwards, M. (redactie). Los Alamitos CA: IEEE Computer Society, blz. 110-117

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Downloads (Pure)

Test selection, trace distance and heuristics

Feijs, L. M. G., Mauw, S., Goga, N. & Tretmans, J., 2002, Testing of Computer Systems XIV: Applications to Internet Technologies and Services (Proceedings TestCom 2002, Berlin, Germany, March 19-22, 2002). Schieferdecker, I., König, H. & Wolisz, A. (redactie). Dordrecht: Kluwer Academic Publishers, blz. 267-282 (IFIP Conference Proceedings; vol. 210).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Timed process algebras

Baeten, J. C. M., 2002, Proceedings Models for Time-Critical Systems (MTCS 2001, Aalborg, Denmark, August 25, 2001), Satellite event of CONCUR 2001. Corradini, F. & Vogler, W. (redactie). blz. 207-208 (Electronic Notes in Theoretical Computer Science; vol. 52(3)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

VIPwin : a general-purpose platform of natural user interface in Windows based on VIP technology

Hou, Y., Hao, L., Zuo, F., Kong, J., Wesselink, J. W. & Greef, de, H. P., 2002, Proceedings 5th Asia Pacific Conference on Computer Human Interaction (APCHI '02, Beijing, China, November 2002). Beijing, China: APCHI, blz. 785-798

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

2003

A hierarchy of probabilistic system types

Bartels, F., Sokolova, A. & Vink, de, E. P., 2003, Proceedings 6th International Workshop on Coalgebraic Methods in Computer Science (CMCS'03, Warsaw, Poland, April 5-6, 2003). (Electronic Notes in Theoretical Computer Science; vol. 82(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

27 Citaten (Scopus)

A hybrid language for modeling, simulation and verification

Schiffelers, R. R. H., Beek, van, D. A., Man, K. L., Reniers, M. A. & Rooda, J. E., 2003, Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003). Engell, S., Gueguen, H. & Zaytoon, J. (redactie). Elsevier, blz. 235-240

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

An analysis of medical device communication standard IEEE 1073.2

Mooij, A. J., Goga, N., Wesselink, J. W. & Bosnacki, D., 2003, Communication Systems and Networks (Proceedings of the Second IASTED International Conference, CSN 2003, Benalmádena, Spain, September 8-10, 2003). Palau Salvador, E. C. (redactie). ACTA Press

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

1 Downloads (Pure)

A unique decomposition theorem for ordered monoids with applications in process theory

Luttik, B., 2003, Mathematical Foundations of Computer Science (Proceedings 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003). Rovan, B. & Vojtás, P. (redactie). Berlin: Springer, blz. 562-571 (Lecture Notes in Computer Science; vol. 2747).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

Automath and pure type systems

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2003, Proceedings Mathematics, Logic and Computation (Eindhoven, The Netherlands, July 4-5, 2003). blz. 30-49 (Electronic Notes in Theoretical Computer Science; vol. 85).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

Consistency in ISpec specifications

van Gogh, K., Kuiper, R. & Luit, E. J., 2003, Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003). Utrecht: STW Technology Foundation, blz. 84-92

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Defining authentication in a trace model

Cremers, C. J. F., Mauw, S. & Vink, de, E. P., 2003, Proceedings 1st International Workshop on Formal Aspects in Security and Trust (FAST 2003, Pisa, Italy, September 8-9, 2003), IIT-CNR Technical Report. Dimitrakos, T. & Martinelli, F. (redactie). blz. 131-145

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Dynamic contracts for adaptive specification

Huizing, C. & Kuiper, R., 2003, Proceedings Seventh World Multi-Conference in Systemics, Cybernetics and Informatics (SCI 2003, Orlando FL, USA, July 27-30, 2003). Callaos, N., Di Sciullo, A. M., Ohta, T. & Liu, T. K. (redactie). Orlando FL, USA: IIIS, Vol. 16. blz. 95-101

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Embedding untimed into timed process algebra : the case for explicit termination

Baeten, J. C. M., 2003, Proceedings 7th International Workshop on Expressiveness in Concurrency (EXPRESS'00, State College PA, USA, August 21, 2000). Aceto, L. & Victor, B. (redactie). (Electronic Notes in Theoretical Computer Science; vol. 39(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Enhancing formal methods for SystemC designs

Man, K. L., 2003, Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003). Utrecht: STW Technology Foundation, blz. 141-146

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Founding fire wire bridges through Promela prototyping

Langevelde, van, I., Romijn, J. M. T. & Goga, N., 2003, Proceedings 17th International Parallel and Distributed Processing Symposium (IPDPS 2003, Nice, France, April 22-26, 2003), Paper 239a. Los Alamitos CA: IEEE Computer Society, blz. 1-8

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)

IMP : A BDD-based formal verification tool for arithmetic circuits

Man, K. L., 2003, Proceedings of the 16th IEEE European Conference on Circuits Theory and Design (ECCTD 2003, Cracow, Poland, September 1-4, 2003). Galias, Z. (redactie). Vol. 2. blz. 225-228

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Large state space visualization

Groote, J. F. & Ham, van, F. J. J., 2003, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings TACAS '03, Warsaw, Poland, April 7-11, 2003). Gargamel, H. & Hatcliff, J. (redactie). Berlin: Springer, blz. 585-590 (Lecture Notes in Computer Science; vol. 2619).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)

Liveness in rewriting

Giesl, J. & Zantema, H., 2003, Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings. Nieuwenhuis, R. (redactie). Berlin: Springer, blz. 321-336 (Lecture Notes in Computer Science; vol. 2706).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (Scopus)
2 Downloads (Pure)

New developments around the µCRL tool set

Blom, S. C. C., Groote, J. F., Langevelde, van, I., Lisser, B. & Pol, van de, J. C., 2003, Proceedings Eighth International Workshop on Formal Methods for Industrial Systems (FMICS'03, Trondheim, Norway, June 5-7, 2003). (Electronic Notes in Theoretical Computer Science; vol. 80).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)

On relational properties of lumpability

Sokolova, A. & Vink, de, E. P., 2003, Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003). Utrecht: STW Technology Foundation, blz. 220-225

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
36 Downloads (Pure)

Over 30 years of process algebra : past, present and future

Baeten, J. C. M., 2003, Process Algebra : Open Problems and Future Directions. PA '03, Bologna, Italy, 21-25 July, 2003. Aceto, L., Ésik, Z., Fokkink, W. J. & Ingólfsdóttir, A. (redactie). Amsterdam: Elsevier, blz. 7-12 (BRICS notes series).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

2 Downloads (Pure)

PINPAS: a tool for power analysis of smartcards

Hartog, den, J. I., Vink, de, E. P., Verschuren, J. H. S., Vos, de, J. & Wiersma, W. T., 2003, Security and Privacy in the Age of Uncertainty (Proceedings IFIP TC11 18th International Conference on Information Security, SEC2003, Athens Greece, May 26-28, 2003). Gritzalis, D., De Capitani di Vimercati, S., Samarati, P. & Katsikas, S. K. (redactie). Kluwer, blz. 453-457 (IFIP Conference Proceedings; vol. 250).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (Scopus)

Process semantics for UML component specifications to assess inheritance

Roubtsova, E. E. & Kuiper, R., 2003, Proceedings First International Conference on Graph Transformation and Visual Modeling Techniques (GT-VMT'2002, Barcelona, Spain, October 11-12, 2002). blz. 145-159 (Electronic Notes in Theoretical Computer Science; vol. 72).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)

Proving liveness in ring protocols by termination

Zantema, H. & Giesl, J., 2003, Proceedings 6th International Workshop on Termination (WST2003, Valencia, Spain, June 13-14, 2003), Technical Report DSIC-II/15/03. Rubio, A. (redactie). Valencia: Universidad Politecnica de Valencia, blz. 16-18

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Relating Chi to hybrid automata

Beek, van, D. A., Jansen, N. G., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2003, Proceedings of the 2003 winter simulation conference : New Orleans, LA, USA, December 7-10, 2003. Vol. 1. Chick, S., Sanchez, P. J., Ferrin, D. & Morrice, D. J. (redactie). Piscataway NJ: Institute of Electrical and Electronics Engineers, blz. 632-640

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

Shortest solutions for Sokoban

Wesselink, J. W. & Zantema, H., 2003, Proceedings 15th Netherlands/Belgium Conference on Artificial Intelligence (BNAIC'03, Nijmegen, The Netherlands, October 23-24, 2003). Heskes, T. & et al., X. (redactie). Nijmegen: SNN/KUN, blz. 323-330

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Simulating liveness by reduction strategies

Giesl, J. & Zantema, H., 2003, Proceedings 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003, Valencia, Spain, June 8, 2003). Gramlich, B. & Lucas, S. (redactie). (Electronic Notes in Theoretical Computer Science; vol. 86(4)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Transforming equality logic to propositional logic

Zantema, H. & Groote, J. F., 2003, Proceedings 4th International Workshop on First-Order Theorem Proving (FTP'03, Valencia, Spain, June 12-14, 2003). (Electronic Notes in Theoretical Computer Science; vol. 86(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)