Bacteria-based self-healing concrete to increase liquid tightness of cracks von Tziviloglou, E., Wiktor, V., Jonkers, H.M., Schlangen, E.

Volltext

Autogenous healing of marine exposed concrete: Characterization and quantification through visual crack closure von Palin, D., Wiktor, V., Jonkers, H.M.

Volltext

A bacteria-based bead for possible self-healing marine concrete applications von Palin, D, Wiktor, V, Jonkers, H M

Volltext

Bacteria-based concrete: from concept to market von Wiktor, V, Jonkers, H M

Volltext

Autogenous healing of sea-water exposed mortar: Quantification through a simple and rapid permeability test von Palin, D., Jonkers, H.M., Wiktor, V.

Volltext

Field performance of bacteria-based repair system: Pilot study in a parking garage von Wiktor, V., Jonkers, H.M.

Volltext

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings von Marek, V. Wiktor, Nerode, Anil, Truszczyński, M

Volltext

Accelerated laboratory test to study fungal biodeterioration of cementitious matrix von Wiktor, V., De Leo, F., Urzì, C., Guyonnet, R., Grosseau, Ph, Garcia-Diaz, E.

Volltext

Foundations of Mathematics in the Twentieth Century von Marek, V. Wiktor, Mycielski, Jan

Volltext

Modal nonmonotonic logics: ranges, characterization, computation von MAREK, V. W, SCHWARZ, G. F, TRUSZCZYNSKI, M

Volltext

Handbook of Recursive Mathematics

Volltext

Philippe Besnard. An introduction to default logic. Symbolic computation, artificial intelligence series. Springer-Verlag, Berlin etc. 1989, xi + 208 pp von Marek, V. Wiktor

Volltext

Development of biochemical methods to estimate the subcellular impact of uranium exposure on Chlamydomonas reinhardtii von Pradines, C., Wiktor, V., Camilleri, V., Gilbin, R.

Volltext

On logical constraints in logic programming von Marek, V. Wiktor, Nerode, Anil, Remmel, Jeffrey B.

Volltext

Revision by communication: Program revision by consulting weaker semantics von Witteveen, Cees, van der Hoek, Wiebe

Volltext

Review: Philippe Besnard, An Introduction to Default Logic von Marek, V. Wiktor

Volltext

An operator for composing deductive data bases with theories of constraints von Aquilino, D., Asirelli, P., Renso, C., Turini, F.

Volltext

Foundations of Mathematics in the Twentieth Century von Marek, V. Wiktor, Mycielski, Jan

Volltext

Computing the well-founded semantics faster von Berman, Kenneth A., Schlipf, John S., Franco, John V.

Volltext

Embedding circumscriptive theories in general disjunctive programs von Sakama, Chiaki, Inoue, Katsumi

Volltext