arXiv:1404.6549v1 [cs.DL] 25 Apr 2014

First Page		Document Content
Date: 2014-04-28 23:23:28 Computing Markup languages Open formats Mathematical markup languages Computer file formats HTML LaTeXML MathML LaTeX TeX HTML5 EPUB		arXiv:1404.6549v1 [cs.DL] 25 Apr 2014 Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 72,54 KB Share Document on Facebook

	The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML) DocID: 1t4iQ - View Document
	Extreme Markup Languages 2004® Montréal, Québec August 2-6, 2004 Half-steps toward LMNL DocID: 1sQK7 - View Document
	Darwin Information Typing Architecture (DITA) Version 1.3 Part 1: Base Edition Candidate OASIS StandardSeptember 2015 Specification URIs This version: DocID: 1rtoz - View Document
	Auxiliary tasks by Ovidiu Predescu, Jeff Turner NOTICE: Copyright © Ovidiu Predescu and Jeff Turner. All rights reserved. The Anteater manual may be reproduced and distributed in whole or in part, in any medi DocID: 1rtjP - View Document
	Performance Optimizations for Apache Camel Christian Müller WARNING: Jetlagged! DocID: 1rtjn - View Document