Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
11
search results - page 1 / 3
»
synasc 2008
Sort
relevance
views
votes
recent
update
View
thumb
title
24
click to vote
SYNASC
2008
IEEE
208
views
Algorithms
»
more
SYNASC 2008
»
On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi
14 years 1 months ago
Download
www.math.nsc.ru
Alexander V. Lyaletski
claim paper
Read More »
25
click to vote
SYNASC
2008
IEEE
238
views
Algorithms
»
more
SYNASC 2008
»
A Modeling Framework for Generating Security Protocol Specifications
14 years 1 months ago
Download
www.ibs.ro
Béla Genge, Piroska Haller
claim paper
Read More »
26
click to vote
SYNASC
2008
IEEE
235
views
Algorithms
»
more
SYNASC 2008
»
Communicating Mathematics via Pen-Based Interfaces
14 years 1 months ago
Download
www.csd.uwo.ca
Elena S. Smirnova, Stephen M. Watt
claim paper
Read More »
29
click to vote
SYNASC
2008
IEEE
246
views
Algorithms
»
more
SYNASC 2008
»
Abstract Matrix Arithmetic
14 years 1 months ago
Download
www.cecm.sfu.ca
Alan P. Sexton, Volker Sorge, Stephen M. Watt
claim paper
Read More »
30
click to vote
SYNASC
2008
IEEE
266
views
Algorithms
»
more
SYNASC 2008
»
On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter
14 years 1 months ago
Download
www.infosun.fim.uni-passau.de
We present an algorithm for solving Diophantine equations which are linear in the variables, but non-linear in one parameter. This enables us to compute data dependences in more ge...
Armin Größlinger, Stefan Schuster
claim paper
Read More »
« Prev
« First
page 1 / 3
Last »
Next »